A subset of , say . When , we refer to just the relation on the set .

Here are 5 properties that distinguish relations on a set (, , are in ):

Category: MIP/CO