(1903).

Definitions

A relation on the set is said to be reflexive if for every , .

Equivalently, letting denote the identity relation on , the relation is reflexive if .

The [[reflexive closure]] of is the union which can equivalently be defined as the smallest (with respect to ) reflexive relation on that is a superset of A relation is reflexive if and only if it is equal to its reflexive closure.

The reflexive reduction

1.Previous
3.Next