ABSTRACT
Let S and T be sets. A relation on S and T is a subset of S T . If R is a relation, then we write either .s; t/ 2 R or sometimes sR t to indicate that .s; t/ is an element of the relation. We will also write s t when the relation being discussed is understood.
