Template:Operations and relations in set theory and logic; some

Important relations
Set theory: subset disjoint subdisjoint equal complementary
Logic: implication contrary subcontrary equivalent contradictory