Syntax Definition wsmo 6253

Description: Introduce the strictly monotone ordinal function. A strictly monotone function is one that is constantly increasing across the ordinals.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
wsmo	wff Smo A

See definition df-smo 6254 for more information.