2 ms·
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.
by ajarmst 6y ago
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.