Description: Extend the definition of a wff to include the member partition predicate, i.e., the member partition relation predicate. (Read: A is a member partition.)
| Ref | Expression | ||
|---|---|---|---|
| Assertion | wmembpart | Could not format assertion : No typesetting found for wff MembPart A with typecode wff |