cup - Mathbox for Zhi Wang

	Mathbox for Zhi Wang		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cup		Structured version Visualization version GIF version

Syntax Definition cup 48851

Description: Extend class notation with the class of universal properties.

**Assertion**
Ref	Expression
cup	class UP

See definition df-up 48852 for more information.

Colors of variables: wff setvar class