The Category of sets and relations between them denoted by Morphisms need to have a specified domain and codomain similar to Category of Sets The composites are defined in the logical way (preserving transitivity)