Content deleted Content added
m Task 18 (cosmetic): eval 6 templates: del empty params (4×); hyphenate params (2×); |
Tags: Mobile edit Mobile web edit Advanced mobile edit |
||
Line 38:
==Some properties==
The matrix representation of the [[Equality (mathematics)|equality relation]] on a finite set is the [[identity matrix]] I, that is, the matrix whose entries on the diagonal are all 1, while the others are all 0. More generally, if relation ''R'' satisfies {{nowrap|I ⊂ ''R'',}} then R is a [[reflexive relation]].
If the Boolean ___domain is viewed as a [[semiring]], where addition corresponds to [[logical OR]] and multiplication to [[logical AND]], the matrix representation of the [[composition of relations|composition]] of two relations is equal to the [[matrix product]] of the matrix representations of these relations.
| |||