If we agree that the axiom of extensionality applies, then the restriction of no ties is implied. I don't think antisymmetry is necessary or sufficient for it.