Database
BASIC TOPOLOGY
Topology
Limit points and perfect sets
clp
Next ⟩
cperf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clp
Description:
Extend class notation with the limit point function for topologies.
Ref
Expression
Assertion
clp
class limPt