Noetherian implies hereditarily compact

From Topospaces

Statement

Any Noetherian space is a hereditarily compact space, i.e., every subspace of a Noetherian space is a compact space.

Facts used

  1. Noetherian implies compact
  2. Noetherianness is hereditary

Proof

The proof follows by combining Facts (1) and (2).