提要：界域、逆界域、範限、反逆的概念/自反性、對稱性、傳達性的定義及其相關情形
“吳先生！邏輯傳統比現代邏輯的範圍窄，是不是？”王蘊理問。
“是。”
“窄在什麽地方呢？”王又追問。
“很多，很多，最明顯而易見的地方，是邏輯傳統沒有將關係的研究包含進去。我想……如果當初邏輯傳統將關係的研究包含進去，它的內容一定比較豐富得多。‘關係’（relation）在邏輯裏很重要，如果沒有關係，那麽邏輯的內容恐怕要少掉許多。十九世紀有位德國邏輯家叫作施羅德（Schroeder），他對於關係就作過許多研究，蔚為大觀。
“關係既然這樣重要，吳先生可不可以講點給我們聽呢？”周文璞問。
“當然可以，不過……關於關係的研究，認真說來，在邏輯各部門中是最複雜的一部門，我們現在隻好簡單地談談。”
“關係是什麽呢？”王蘊理問。
“我們最好先不談這個問題。就一派哲學的說法，關係好像是空氣，無所不在的東西。這種說法，無論通或不通，似乎不在邏輯範圍以內，所以我們不必討論。如果從純邏輯觀點來推敲什麽是關係，那麽必須從函數論（theory of functions）開始，這非我們現在之所宜。我們現在所須知道的，是‘關係’一詞在各種情形之下的用法。照科學家看來，宇宙之間事事物物總是以各種不同的方式聯係起來的；物理的事物彼此有空間關係，或有引力關係；人同人之間，是靠婚姻、血統、朋友、同學、同事、同隊等等關係聯係起來的。
“關係，我們首先可以從兩種觀點來討論。第一種觀點是從關係的性質（property）來考察；第二種是從關係的外範之數目來考察。就我們現在的目的而言，我們隻能多注意到關係的性質方麵。在談關係的種種性質以先，為了便於了解起見，我們要介紹幾個概念。”