This article develops the theory of relations in regard to its specifically combinatorial aspects. For a general discussion of the basic definitions, see the articles on binary relations and relations_in_mathematics. Relations fall into various types according to their specific properties, often as expressed in the axioms or...