. ▁▁▁▁ ▁A ▁model ▁of ▁C ▁is ▁a ▁connection ▁space . ▁ ▁Following ▁the ▁ver bal ▁description ▁of ▁each ▁ax iom ▁is ▁the ▁identifier ▁of ▁the ▁corresponding ▁ax iom ▁in ▁Cas ati ▁and ▁Var zi ▁( 1 9 9 9 ). ▁Their ▁system ▁S MT ▁( strong ▁mere ot op ology ) ▁consists ▁of ▁C 1 - C 3 , ▁and ▁is ▁essentially ▁due ▁to ▁Clar ke ▁( 1 9 8 1 ). ▁Any ▁mere ot op ology ▁can ▁be ▁made ▁atom less ▁by ▁inv oking ▁C 4 , ▁without ▁risk ing ▁par ado x ▁or ▁trivial ity . ▁Hence ▁C ▁extends ▁the ▁atom less ▁variant ▁of ▁S MT ▁by ▁means ▁of ▁the ▁ax i oms ▁C 5 ▁and ▁C 6 , ▁suggested ▁by ▁ch pt . ▁ 2 ▁of ▁Process ▁and ▁Re ality . ▁For ▁an ▁advanced ▁and ▁detailed ▁discussion ▁of ▁systems ▁related ▁to ▁C , ▁see ▁Ro eper ▁( 1 9 9 7 ). ▁ ▁B iac ino ▁and ▁Ger la ▁( 1 9 9 1 ) ▁showed ▁that ▁every ▁model ▁of ▁Clar ke ' s ▁theory ▁is ▁a ▁Boolean ▁algebra , ▁and ▁models ▁of ▁such ▁al gebras ▁cannot ▁distinguish ▁connection ▁from ▁overlap . ▁It ▁is ▁doubt ful ▁whether ▁either ▁fact ▁is ▁faithful ▁to ▁White head ' s ▁intent . ▁ ▁See ▁also ▁M ere ology ▁M ere ot op ology ▁Point less ▁topology ▁ ▁Notes ▁ ▁References ▁B iac ino ▁L ., ▁and ▁Ger la ▁G ., ▁ 1 9 9 1 , ▁" Connection ▁Struct ures ," ▁Notre ▁D