Some properties

The matrix representation of the equality relation on a finite set is the identity matrix , that is, the matrix whose entries on the diagonal are all 1, while the others are all 0. More generally, if relation satisfies then is a reflexive relation.

If the Boolean domain is viewed as a semiring, where addition corresponds to logical OR

1.Previous
3.Next