はんしゃ‐りつ【反射律】 数学で、関係の性質の一つ。ある集合の二つの元x、yの間に、ある関係RがあることをxRyで表すとき、この関係RがxRxを満たせば、Rは反射律を満たすという。たとえば、xはyの約数であるという関係や平面上の三角形の集合でx≡yという関係などは、いずれも反射律を満たしている。