VDict mobile



theory A relation R is reflexive if, for all x, x R x.
total orders are all reflexive.
(1999-01-28)