cuz - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > cuz		GIF version

Syntax Definition cuz 9487

Description: Extend class notation with the upper integer function. Read "ℤ_≥‘𝑀 " as "the set of integers greater than or equal to 𝑀".

**Assertion**
Ref	Expression
cuz	class ℤ_≥

See definition df-uz 9488 for more information.

Colors of variables: wff set class