on appelle application d'un ensemble E dans un ensemble F, toute correspondance f entre les élément de E et ceux de F