The orthogonal group is the group of all matrices with orthonormal rows and orthonormal columns (source code)

= The orthogonal group is the group of all matrices with orthonormal rows and orthonormal columns

Or equivalently, the set of rows is <orthonormal>, and so is the set of columns. TODO proof that it is equivalent to <the orthogonal group is the group of all matrices that preserve the dot product>.