▁corresponds ▁to ▁G 1 . ▁G 3 ▁establish es ▁that ▁inclusion , ▁unlike ▁Pro per ▁Part , ▁is ▁anti - sym metric . ▁ ▁Point - free ▁geometry ▁is ▁closely ▁related ▁to ▁a ▁dense ▁linear ▁order ▁D , ▁whose ▁ax i oms ▁are ▁G 1 - 3 , ▁G 5 , ▁and ▁the ▁tot ality ▁ax iom ▁ ▁Hence ▁inclusion - based ▁point - free ▁geometry ▁would ▁be ▁a ▁proper ▁extension ▁of ▁D ▁( nam ely ▁D ∪ { G 4 , ▁G 6 , ▁G 7 }), ▁were ▁it ▁not ▁that ▁the ▁D ▁relation ▁" ≤ " ▁is ▁a ▁total ▁order . ▁ ▁Connection ▁theory ▁In ▁his ▁ 1 9 2 9 ▁Process ▁and ▁Re ality , ▁A . ▁N . ▁White head ▁proposed ▁a ▁different ▁approach , ▁one ▁inspired ▁by ▁De ▁Lag una ▁( 1 9 2 2 ). ▁White head ▁took ▁as ▁primitive ▁the ▁topological ▁notion ▁of ▁" contact " ▁between ▁two ▁regions , ▁resulting ▁in ▁a ▁primitive ▁" connection ▁relation " ▁between ▁events . ▁Connection ▁theory ▁C ▁is ▁a ▁first ▁order ▁theory ▁that ▁dist ills ▁the ▁first ▁ 1 2 ▁of ▁the ▁ 3 1 ▁assumptions ▁in ▁ch pt . ▁ 2 ▁of ▁Process ▁and ▁Re ality ▁into ▁ 6 ▁ax i oms , ▁C 1 - C 6 . ▁C ▁is ▁a ▁proper ▁fragment ▁of ▁the ▁theories ▁proposed ▁in ▁Clar ke ▁( 1 9 8 1 ), ▁who ▁noted ▁their ▁mere ological ▁character . ▁The ories ▁that , ▁like ▁C , ▁feature ▁both ▁inclusion ▁and ▁topological ▁primit ives