Database
BASIC STRUCTURES
Extensible structures
Definition of the structure quotient
cxps
Next ⟩
df-qtop
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cxps
Description:
Binary product structure function.
Ref
Expression
Assertion
cxps
class Xs.