The same finite structure can be encoded as ordered or unordered, with/without successor, yielding d...
This proposition has not been edited since the history system was added.