hasNoIsolatedPoints

P196356 predicate

Indicates that within the given structure or space, every point is a limit point of others, so there are no isolated or standalone points.

Sample triples (1)

Subject Object
Baire space ω^ω true