Changes

That is, in a universe of perfect human dentition, the number of the relative term <math>\text{tooth of}\,\underline{~~~~}</math> is equal to the number of teeth of humans divided by the number of humans, that is, <math>32.\!</math>

That is, in a universe of perfect human dentition, the number of the relative term <math>\text{tooth of}\,\underline{~~~~}</math> is equal to the number of teeth of humans divided by the number of humans, that is, <math>32.\!</math>

The 2-adic relative term <math>\mathit{t}\!</math> determines a 2-adic relation <math>T \subseteq U \times V,</math> where <math>U\!</math> and <math>V\!</math> are two universes of discourse, possibly the same one, that contains among other things all the teeth and all the people that happen to be under discussion, respectively.

The 2-adic relative term <math>\mathit{t}\!</math> determines a 2-adic relation <math>T \subseteq U \times V,</math> where <math>U\!</math> and <math>V\!</math> are two universes of discourse, possibly the same one, that contain among other things all the teeth and all the people that happen to be under discussion, respectively.

A rough indication of the bigraph for <math>T\!</math> might be drawn as follows, where I have tried to sketch in just the toothy part of <math>U\!</math> and the peoply part of <math>V.\!</math>

A rough indication of the bigraph for <math>T\!</math> might be drawn as follows, where I have tried to sketch in just the toothy part of <math>U\!</math> and the peoply part of <math>V.\!</math>

|}

|}

Notice that the "number of" function ''v''&nbsp;:&nbsp;''S''&nbsp;&rarr;&nbsp;'''R''' needs the data that is represented by this entire bigraph for ''T'' in order to compute the value [''t''].

Notice that the "number of" function <math>v : S \to \mathbb{R}</math> needs the data that is represented by this entire bigraph for <math>T\!</math> in order to compute the value <math>[\mathit{t}].\!</math>

Finally, one observes that this component of ''T'' is a function in the direction ''T''&nbsp;:&nbsp;''U''&nbsp;&rarr;&nbsp;''V'', since we are counting only those teeth that ideally occupy one and only one mouth of a creature.

Finally, one observes that this component of <math>T\!</math> is a function in the direction <math>T : U \to V,</math> since we are counting only those teeth that ideally occupy exactly one mouth of a tooth-bearing creature.

===Commentary Note 11.17===

===Commentary Note 11.17===