EX6572 can ambiguously be taken to be self-referential as the set of left-hand examples (which would make the right hand solution only "incomplete sets") or the class of finite sets.
The completed version of the collection indicated by the objects is finite vs. the completed version of the collection indicated by the objects is infinite.