「対照表」 は、ZF の公理系のなかで、以下の 2つの公理を前提にしています。

　（1） 対の公理
　（2） 置換公理

　「対の公理」 とは、2つの集合 （たとえば、{ A } と { B } ） があれば、それらを メンバー にして 1つの集合 { { A }, { B } } を考えることができる という公理です。ただし、{ { A }, { B } } は、半順序です。そして、「置換公理」 というのは、{ { A }, { B } } に対して、f (x) を適用できるということ。すなわち、2 つの集合を メンバー にした 「和集合」 を考えて、その 「和集合」 において、もし、f (x) ──つまり、なんらかの 「（集合的） 性質」 を考えることができれば、「和集合」 を ひとつの集合とみなすことができる、ということです。

　TM では、「対照表」 に対して、f (x) として、「日付」 を考えています。すなわち、ふたつの 「resource」 を メンバー にして、ひとつの 「event」 を考えるということ。

　┌─────────────────┐　　　　　┌─────────────────┐
　│　　　　　　　従業員　　　　　　Ｒ│　　　　　│　　　　　　　部門　　　　　　　Ｒ│
　├────────┬────────┤　　　　　├────────┬────────┤
　│従業員番号　　　│従業員名称　　　│　　　　　│部門コード　　　│部門名称　　　　│
　│　　　　　　　　│　　　　　　　　│＞─○─┼┤　　　　　　　　│　　　　　　　　│
　│　　　　　　　　│　　　　　　　　│　　│　　│　　　　　　　　│　　　　　　　　│
　│　　　　　　　　│　　　　　　　　│　　│　　│　　　　　　　　│　　　　　　　　│
　│　　　　　　　　│　　　　　　　　│　　│　　│　　  　　　　　│　　　　　　　　│
　└────────┴────────┘　　│　　└────────┴────────┘
　　　　　　　　　　　　　　　　　　　　　　│
　　　　　　　　　　　　　　　　　　　　　　│
　　　　　　　　　　　　　┌────────┴────────┐
　　　　　　　　　　　　　│　　　従業員. 部門. 対照表　　　　│
　　　　　　　　　　　　　├────────┬────────┤
　　　　　　　　　　　　　│従業員番号(R) 　│（日付）　　　　│
　　　　　　　　　　　　　│部門コード(R) 　│　　　　　　　　│
　　　　　　　　　　　　　│　　　　　　　　│　　　　　　　　│
　　　　　　　　　　　　　└────────┴────────┘

　したがって、「従業員. 部門. 対照表」 に、もし、「日付」 を仮想すれば、この 「対照表」 は「配属」 という 「できごと」 を指示することになって、「F-真」 を問うことができます──すなわち、文 { 従業員番号 (R)、部門 コード (R)、日付 } は、「T-文」 で テスト されるということです。言い換えれば、文 { 従業員番号 (R)、部門 コード (R)、日付 } が 「真」 であるのは、そういう事態が起こったとき、そして、そのときに限る、ということです。単純に言えば、2項関係が 3項態を示す、ということ。