Subspace topology

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

For Y⊆X, the relative topology consists of every intersection of an ambient open set with Y.

atlas-subspace-topology · canonical_mko

Prerequisite nodes