{itshape Soient $E$ et $F$ des ensembles finis et soit $f:Elongto F$.}

begin{proposition}
Soient $E$ et $F$ des ensembles finis et soit $f:Elongto F$.\
Alors,
begin{description}[font=normalfontitshape, leftmargin=!]
item[quad a) $ftext{ injective}$]  $impl  va{E} leq va{F}$
item[quad b) $ftext{ surjective}$]  $impl  va{E} geq va{F} $
item[quad c) $ftext{ bijective}$]  $impl  va{E} = va{F}$
end{description}
end{proposition}