Real vector subspace
A nonempty subset of a real vector space is a subspace when it contains zero and is closed under vector addition and multiplication by every real scalar.
atlas-vector-subspace · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
A nonempty subset of a real vector space is a subspace when it contains zero and is closed under vector addition and multiplication by every real scalar.
atlas-vector-subspace · canonical_mko