cfz - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cfz		Structured version Visualization version GIF version

Syntax Definition cfz 12742

Description: Extend class notation to include the notation for a contiguous finite set of integers. Read "𝑀...𝑁 " as "the set of integers from 𝑀 to 𝑁 inclusive."

**Assertion**
Ref	Expression
cfz	class ...

See definition df-fz 12743 for more information.

Colors of variables: wff setvar class

W3C validator