Database
REAL AND COMPLEX NUMBERS
Integer sets
Extended nonnegative integers
cxnn0

Next ⟩ df-xnn0

Metamath Proof Explorer

Ascii
Structured

Syntax definition cxnn0

Description: The set of extended nonnegative integers.

		Ref	Expression
	Assertion	cxnn0	class ℕ₀^*