1.Previous
3.Next

of on as the smallest reflexive relation on that contains .;Symmetry
:As we can define a unary operation on that maps to , we define the symmetric closure of on as the smallest relation on that contains and is closed under this unary operation.;Transitivity
:As we can define a partial binary operation on that maps

1.Previous
3.Next