application

concept relation binaire qui est totale à gauche (définie sur tout son ensemble de départ)