Metamath Proof Explorer


Syntax definition cmembparts

Description: Extend the definition of a class to include the member partitions class, i.e., the member partition relations class.

Ref Expression
Assertion cmembparts
class MembParts