Database
BASIC ORDER THEORY
Lattices
Subset order structures
cipo

Next ⟩ df-ipo

Metamath Proof Explorer

Ascii
Structured

Syntax definition cipo

Description: Class function defining inclusion posets.

		Ref	Expression
	Assertion	cipo	class toInc