Many relational structures (partial orders, strict orderings) are non-reflexive by nature; reflexivi...
This proposition has not been edited since the history system was added.