Database
BASIC TOPOLOGY
Topology
Neighborhoods
cnei
Next ⟩
df-nei
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnei
Description:
Extend class notation with neighborhood relation for topologies.
Ref
Expression
Assertion
cnei
class
nei