射不移动在镜子上的点，镜子的维数比发生反射的空间的维数要小1。这些观察允许我们形式化反射的定义：反射是欧几里得空间的对合等距同构，它的不动点集合是余维数为1的仿射子空间。在经历特定反射后不改变的图形被称为有反射对称性。密切关联于反射的是斜反射和圆反演。这些变换仍对合于有余维数1的不动点的集合，但它们不再是等距的。
豪斯霍尔德变换.给定在欧几里得空间R中的一个向量"a"，在通过原点的正交于"a"的超平面中的反射的公式是这里的"v"·"a"指示"v"和"a"的点积。注意在上面