Рефлексивність
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Рефлексивність

Рефлексивність, властивість бінарних (двомісних, двочленних) стосунків, що виражає здійснимість їх для пар об'єктів із співпадаючими членами (так би мовити, між об'єктом і його «дзеркальним віддзеркаленням»): відношення R називається рефлексією, якщо для будь-якого об'єкту х з області його визначення виконується xrx. Типові і найбільш важливі приклади стосунків рефлексій: стосунки типа рівність ( тотожність, еквівалентності, подібності і т.п.: будь-який предмет дорівнює самому собі) і стосунки нестрогого порядку (будь-який предмет не менше і не більше самого себе). Інтуїтивні уявлення про «рівність» (еквівалентності, подібності і т.п.), очевидним чином що наділяють його властивостями симетричності і транзитивності, «вимушують» і властивість Р., оскільки остання властивість виходить з перших два. Тому багато споживаних в математиці стосунків, за визначенням Р. що не володіють, виявляється природним довизначити так, щоб вони ставали рефлексіями, наприклад, вважати, що кожна пряма або плоскість паралельна самій собі, і т.п.