Irreducibility is open subspace-closed

Statement
Any open subset of an irreducible space is irreducible under the subspace topology.

Related facts

 * Ultraconnectedness is weakly hereditary