Database
BASIC TOPOLOGY
Topology
Quotient maps and quotient topology
ckq
Next ⟩
df-kq
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ckq
Description:
Extend class notation with the Kolmogorov quotient function.
Ref
Expression
Assertion
ckq
class
KQ