Venn diagram of the symmetric difference \(A \triangle B\).
Venn diagram of De Morgan's law \((A \cup B)^c = A^c \cap B^c\).
A subspace of \(\mathbb{R}^2\) consisting of all vectors lying on the line \(y = 2x\), closed under vector addition and scalar multiplication.
Cayley graph of the dihedral group \(D_6\) for the generating set \(\{r, s\}\), with arrows recording multiplication by \(r\) and by \(s\).
Orthogonal projection of a vector \(\mathbf{u}\) onto the line spanned by \(\mathbf{v}\), with the decomposition \(\mathbf{u} = c\mathbf{v} + \mathbf{w}\) where \(\mathbf{w}\) is orthogonal to \(\mathbf{v}\) and \(c\mathbf{v}\) is the foot of the perpendicular.
The angle \(\theta\) between two nonzero vectors \(\mathbf{u}\) and \(\mathbf{v}\), defined through \(\cos\theta = \langle\mathbf{u},\mathbf{v}\rangle/(\|\mathbf{u}\|\|\mathbf{v}\|)\), whose existence is guaranteed by the Cauchy-Schwarz inequality.
Geometric reading of the parallelogram law \(\|\mathbf{u}+\mathbf{v}\|^2 + \|\mathbf{u}-\mathbf{v}\|^2 = 2\|\mathbf{u}\|^2 + 2\|\mathbf{v}\|^2\), where the squares of the two diagonals add up to the squares of the four sides.
One step of the Gram-Schmidt process: removing from \(\mathbf{v}_2\) its projection onto \(\mathbf{v}_1\) leaves the orthogonal remainder \(\mathbf{w}_2\), and normalising both vectors produces the orthonormal pair \(\mathbf{e}_1, \mathbf{e}_2\).
Irrational radicals on the real number line, with values such as \(\sqrt{2}\), \(\sqrt{3}\), and \(\sqrt{5}\) positioned among rational and natural numbers.
The classical compass-and-straightedge construction of the segment of length \(\sqrt{a}\), based on Euclid's theorem and using a semicircle with a perpendicular segment.