Ensembles, applications, relations et lois de composition