Відношення $R$ на множині називають рефлексивним, якщо для будь-якого $a\in A$ виконується $(a,a)\in R$ .