等價關係和函式
introduction handwrite
composition handwrite
inverse handwrite
complement handwrite
reflexive & irreflexive handwrite
symmetric & asymmetric & antisymmetric handwrite
transitive handwrite
binary relation handwrite
equivalence relation handwrite
partition handwrite
congruence handwrite