Category:Topological space metaproperty satisfactions