设R是A上的关系。若对所有a∈A，均有(a，a)∈ R，则称R是A上的一个自反关系，也称R是自反的或R具有自反性。如果R不是一个A上的自反关系，则我们称R为A上的一个非自反关系（Non-reflexive relationship），也称R是非自反的。