cfz - Intuitionistic Logic Explorer

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

Syntax Definition cfz 8874

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 8875 for more information.

Colors of variables: wff set class

W3C validator