コッド 関係 モデル は、直積集合を使って、現実的事物を tuple として構成します。
　直積集合の一般形は、次の通りです。

　　　R { s₁ ∈ X₁, s₂ ∈ X₂,・・・, s_n ∈ X_n ∧ P (s₁, s₂,・・・, s_n) }.

　　　たとえば、R { 受注番号、顧客番号、商品番号、受注日、・・・、契約番号、・・・ }.

　この１つの tuple を decompose して、幾つかの単独の 「モノ」 が作られます。第一正規形・第二正規形 （関数従属性）・第三正規形 （推移従属性） という順に、1つの tuple が decompose される。たとえば、「受注」 の第三正規形は、次の様になる。

　　　R { 受注番号、顧客番号、商品番号、受注日、受注数 }.

　第一正規形から第二正規形 （関数従属性） が decompose され、第二正規形から第三正規形 （推移従属性） が decompose される関係が 「包摂従属性」 であり、分割された tuple は、元の tuple の キー を継承する。

　
　ところが、TM は、やりかたは コッド 関係 モデル に似ているけれど── 1つの tuple から 「モノ」 を抜き出すのは同じだけれど── decompose の やりかた がちがう。TM は、「モノ （entity）」 を次の様に定義しています。

　　　entity である ＝ _Df 認知番号を付与された対象である。

　たとえば、「受注」 entity は、R { 受注番号、受注日、受注数 } となります。
　それを T之字で記述すれば、次の様になります。

　　　┌─────────────────┐
　　　│　　　　　　　受注　　　　　　　　│
　　　├────────┬────────┤
　　　│受注番号　　　　│受注日　　　　　│
　　　│　　　　　　　　│受注数　　　　　│
　　　│　　　　　　　　│　　　　　　　　│
　　　└────────┴────────┘