Orthogonal Basis in ℝ³
Domain: Linear Algebra
A set of three nonzero, mutually orthogonal vectors forms a complete basis for ℝ³. No proper subset spans the space; any additional vector is redundant with respect to the span.
A dictionary of complete sets
This is a working surface for cataloging complete sets: minimal, lawful collections that close a structure without redundancy.
Each entry names a set, states its boundary conditions, and explains how it becomes “complete” in its own universe.
Domain: Linear Algebra
A set of three nonzero, mutually orthogonal vectors forms a complete basis for ℝ³. No proper subset spans the space; any additional vector is redundant with respect to the span.
Domain: Music Theory
The major triad is the minimal set of pitch classes that establishes a major tonality. Removing any tone breaks the functional identity; adding tones (extensions, doublings) does not change the core set.
Domain: Web Protocols
The request line is the minimal complete set that defines the intent of an HTTP request. Without any one of the three tokens, the message cannot be interpreted according to the protocol.