- Relations binaires sur un ensemble : équivalence, ordre