Binary relations

A binary relation on a set is a subset of , which is the set of all ordered pairs on . The infix notation is commonly used for . We can define different kinds of closures of on by the properties and operations of it. For examples:

;Reflexivity
:As every intersection of reflexive relations is reflexive, we define the reflexive closure

1.Previous
3.Next