IDs 600-699

621

Has a closed point   ⟹  \implies ¬ Empty

Added:

Mar 12, 2026

Difficulty:

If it has a closed point… it has… a point.

650

Noetherian   ⟹  \implies Compact

Added:

Mar 12, 2026

Difficulty:

A space is a subspace of itself.

652

Noetherian   ⟹  \implies Locally compact

Added:

Mar 12, 2026

Difficulty:

Any set in any local basis is compact.