Redundant Facts

Any fact implied by others via the reflexive, antisymmetric, or transitive properties of a partial order can be considered redundant.

Suppose

a <= b

b <= c

c <= b

Then

a <= c is redundant.

a <= a is redundant.

b and c could be represented by one name.