Structures · Topology
T35Space
A T₃.₅ space is a completely regular space that is also T₀.
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- Subtype
- Prod
How is a type an instance?
Loading the hierarchy index…
Assumed by15
- injective_stoneCechUnit_of_t35Space
- separatesPoints_continuous_of_t35Space_Icc
- Topology.IsEmbedding.t35Space
- isEmbedding_stoneCechUnit
- separatesPoints_continuous_of_t35Space
- instT35SpaceForall
- CompletelyRegularSpace.instTotallySeparatedSpaceOfCountable
- T35Space.toCompletelyRegularSpace
- T35Space.instT3space
- Set.Countable.totallySeparatedSpace
- instT35SpaceProd
- T35Space.toT0Space
- instT35SpaceSubtype
- isDenseEmbedding_stoneCechUnit
- CompletelyRegularSpace.totallySeparatedSpace_of_cardinalMk_lt_continuum