Assertion: set's element | /r/CapableOf | retain its original position
Facets:
Source sentences:
text: 0 ! = 1 {\displaystyle 0!=1} ), and it is vacuously true that no element (of the empty set) can be found that retains its original position.