879 
in  het  eerste  geval  de  samenvallingsrelatie,  in  het  tweede  geval  de 
afwijkingsrelatie  terug. 
Maken  we  gebruik  van  de  teekens  — >b  (d.  w.  z.  a en  6 zijn 
contradictoor)  en  a—^b  (d.  w.  z.  b volgt  uit  a),  welke  teekens  de  eigen- 
schappen bezitten,  dat  uit  a^b  en  b<: — >c  volgta< — ^cenuita->è 
en  b-^c  volgt  a—^c,  dan  kan  het  logisch  verband  tusschen  de  hier 
verkregen  drie  vlakke  versmeltingsrelaties  van  twee  punten  aldus 
worden  uitgedrukt: 
iamcnvol  afwij  kin^«—  vcrwljderlmj 
^ 3.  Vlakke  inhullingsrelaties  van  een  punt  en  een  punisooi't. 
Grondrelaties  zijn  hier  mhnlling  en  verwijdering. 
Een  punt  P is  in  een  puntsoort  Q ingekuld,  als  het  met  een  punt 
van  Q samenvalt. 
Een  punt  P ligt  van  een  puntsoort  Q verwijderd,  als  het  van  elk 
punt  van  Q verwijdeid  is. 
Onderwerpen  we  de  inhullingsrelatie  aan  de  praedicaten  van  on- 
gerijmdheid en  ongerijmdheid  van  ongerijmdheid,  dan  komen  twee 
nieuwe  relaties,  die  we  achtereenvolgens  de  afwijkingsrelatie  en  de 
aanshdtingsrelatie  noemen . 
Onderwerpen  we  de  verwijderingsrelatie  aan  de  praedicaten  van 
ongei-ijmdheid  en  ongerijmdheid  van  ongerijmdheid,  dan  komen  twee 
nieuwe  relaties,  die  we  achtereenvolgens  de  aanleuningsrelatie  en  de 
af  scheiding  srelatie  noemen . 
Het  logisch  verband  tusschen  de  aldus  verkregen  zes  vlakke 
inhullingsrelaties  van  een  putit  en  een  puntsoort  kan  aldus  worden 
uitgedrukt : 
inbullin^  — ► oansluitimj  - — 
verwijdering  — ► af^cIjcUfhi^  - — - aanleunin^ 
Volgens  het  bovenstaande  kan  een  reëel  getal  op  drie  manieren 
,,rationaar’  zijn,  al  naarmate  het  door  de  verzameling  der  rationale 
getallen  wordt  ingehuld  of  daartegen  aansluit  of  aanleunt  ^);  en  op 
drie  manieren  ,, irrationaal”,  al  naarmate  het  van  de  verzameling  der 
rationale  getallen  verwijderd  of  afgescheiden  ligt  of  daarvan  afwijkt. 
b In  het  bijzonder  sluit  het  in  § 1 gedefinieerde  reëele  getal  r tegen  de  ver- 
zameling der  rationale  getallen  aan,  zonder  daardoor  te  worden  ingehuld. 
