РЕФЛЕКСИ́ВНОСТЬ

РЕФЛЕКСИ́ВНОСТЬ, свой­ст­во би­нар­ных от­но­ше­ний, вы­ра­жаю­щее их вы­пол­ни­мость для пар объ­ек­тов с сов­па­даю­щи­ми чле­на­ми. От­но­ше­ние R на мно­же­ст­ве X на­зы­ва­ет­ся реф­лек­сив­ным, ес­ли xRx для лю­бо­го объ­ек­та x∈X. Ти­пич­ны­ми и наи­бо­лее важ­ны­ми при­ме­ра­ми реф­лек­сив­ных от­но­ше­ний яв­ля­ют­ся от­но­ше­ния ти­па ра­вен­ст­ва (то­ж­де­ст­ва, эк­ви­ва­лент­но­сти, по­до­бия: лю­бой объ­ект ра­вен са­мо­му се­бе) и от­но­ше­ния не­стро­го­го по­ряд­ка (лю­бой объ­ект не мень­ше и не боль­ше са­мо­го се­бя).