Class Diagram: Collections / Context Diagram: TransfiniteSet