the Begats

The word < is normally defined to mean less than in some quantifiable sense. For example, considering the set {3,6,1441}, one could say that 3<6<1441.

But in the abstract language of partially ordered sets, < is reinterpreted many ways — to mean proper subset of ⊂  (contained by), divides, “is hotter than” or … any transitive relation — even begat.

Consider the set

  • {Cain, Enoch, Irad, Mehujael, Methusael, Lamech₁, Jabal, Jubal, Tubal-cain, Naamah} ∪ {Adam, Abel, Seth} ∪ {Seth, Enosh, Kenan, Mahalalel, Jared, Enoch₂, Methusaleh, Lamech₂, Noah} ∪ {Noah, Shem, Ham, Japheth}.

Transitivity means that it’s impossible for Adam < … < Adam < … (where Adam refers to the same man, not to another person also named “Adam”. We can call him Adam₀ if it’s a problem).

Then the fourth and fifth chapters of Genesis yield the following relations among the members of that set.

  • Cain < Enoch₁ < Irad < Mehujael < Methusael < Lamech₁ < Jubal
  • Lamech₁ < Jabal
  • Lamech₁ < Tubal-cain
  • Lamech₁ < Naamah
  • Adam < Cain
  • Adam < Abel
  • Adam < Seth
  • Adam < Seth < Enosh < Kenan < Mahalalel < Jared < Enoch₂ < Methuselah < Lamech₂ < Noah
  • Noah < Shem
  • Noah < Ham
  • Noah < Japheth

It’s not like we reduce Enoch₂ to “the thing between Jared and Methuselah” — there is other information attached to Enoch₂ such as that he walked with God and was no more (whereas all the others were noted to have died). Likewise to say that 18 is the integer between 17 and 19 isn’t to ignore the fact that 6 divides 18 or that it represents a legal bright-line in some countries.

Nor do we assume that every pair (a,b) from that set should be comparable. (In a totally ordered set either a<b or b<a, ∀a,b.) But in case of the begats:

  • Mehujael Noah
  • Shem Tubal-cain
  • Jared Jabal
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s