Quotient of a compact space (source code)

= Quotient of a compact space

Every quotient of a compact space is compact because the quotient projection is continuous and surjective.