cupword - Mathbox for Ender Ting

	Mathbox for Ender Ting		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cupword		Structured version Visualization version GIF version

Syntax Definition cupword 46471

Description: Extend class notation to include the set of strictly increasing sequences.

**Hypothesis**
Ref	Expression
cS	class 𝑆

**Assertion**
Ref	Expression
cupword	class UpWord𝑆

See definition df-upword 46472 for more information.

Colors of variables: wff setvar class