设f为集合A到自身的一个关系，如果aA，都有（a，a）f，则称f为自反的，或称f具有反身性

---

---

---

---