非自反关系

设R是A上的关系。若对所有a∈A，均有(a，a)∈ R，则称R是A上的一个自反关系，也称R是自反的或R具有自反性。如果R不是一个A上的自反关系，则我们称R为A上的一个非自反关系（Non-reflexive relationship），也称R是非自反的。集合A中的一个等价关系～决定集合A的一个划分，反之，给了集合A的一个划分，便确定了集合A中的一个等价关系～。换言之，集合A的一个等价关系是A的任何划分方式的基础。