Je was op zoek naar: codom (Engels - Frans)

urine conducting codom
préservatif d'évacuation d'urine

a record is a function r with a finite domain and codomain from Σ* to Σ*, or the set of character strings r:Σ*→Σ* let us use the notations dom(r) and codom(r), respectively, for the domain of r and the codomain of r. example 1 (record) let us consider the record r of a log file: date=02:27:2000, operation=connection, machine=papillon, result=success, subject=machine we then have: dom(r)={date, operation, machine, result, subject} where dom(r) is the domain and codom is the codomain codom(r)={02:27:2000, connection, papillon, success, machine}, and r:Σ*→Σ* date→02:27:2000 operation→connection machine→papillon result→success subject→machine a log file is therefore a (finite) set of records r 1 , . . . , r |n| .
un enregistrement (record) est une fonction r de domaine et codomaine finis de Σ* vers Σ*, où l'ensemble des chaínes de caractères r : Σ* → Σ*. notons respectivement dom(r) et codom(r) pour le domaine de r et le codomaine de r . exemple 1 (record) considérons l'enregistrement r d'un fichier de logs : date = 27 : 02 : 2000, operation = connection, machine = papillon, resultat = succès, sujet = machin on aura alors : dom ( r ) = {date, operation, machine, resultat, sujet]} où dom ( r ) est le domaine et codom le codomaine codom(r) = {27 : 02 : 2000, connection, papillon, succes, machin} et r : Σ*→ Σ* date→ 27 : 02 : 2000 opération→ connection machine→ papillon resultat→ succes sujet→ machin. un fichier de logs est donc une suite (finie) d'enregistrements r 1 , ..., r |n| .