以下"存在"皆以"E"表示
"所有x"以"(x)"表示
完全自反：(x)Rxx
自反 ：(x)(Ey)((Rxy v Ryx)--> Rxx)
已知任何一關係若為完全自反則有自反關係，今欲求一關係，其
具有自反性質但不具有完全自反性質？
-------------------------------------------------------------------------
我問彭老師，老師的解答是"屬於"：
「屬於」：每個集合或者屬於某個集合，或者有個集合屬於它，但沒有任何集合屬於自己
坦白說我看不太懂他的回答，同時也想知道有無其他例子，因此來版上請教各位大大
＞＜～～感激!!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.115.224