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