Рефлексивность в математике
Рефлекси́вность, свойство бинарных отношений, выражающее их выполнимость для пар объектов с совпадающими членами. Отношение на множестве называется рефлексивным, если для любого объекта . Типичными и наиболее важными примерами рефлексивных отношений являются отношения типа равенства (тождества, эквивалентности, подобия: любой объект равен самому себе) и отношения нестрогого порядка (любой объект не меньше и не больше самого себя).