proved Goursats' Lemma
defined macro for relations, defined relations, subrelations, composition, and inverse; listed common properties in proposition