IDs 800-899

825

Finite   ⟹  \implies Artinian

Added:

Mar 13, 2026

Difficulty:

It’s impossible to have an infinite strictly decreasing sequence of open sets if there are only finitely many possible open sets.