User:Dfeuer/Reflexive Closure of Antisymmetric Relation is Antisymmetric