Database
BASIC TOPOLOGY
Uniform Structures and Spaces
Cauchy filters in uniform spaces
ccfilu
Next ⟩
df-cfilu
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccfilu
Description:
Extend class notation with the set of Cauchy filter bases.
Ref
Expression
Assertion
ccfilu
class CauFilU