880 
§ 4.  Vlakke  versmelting srela lies  van  tivee  puntsoorten. 
Groridrelaties  zijd  hier  snmenvalUng , afioijking  en  verwijdering . 
Twee  puntsoorten  Q en  R vallen  samen,  als  elk  punt  van  Q met 
een  punt  van  R en  elk  punt  van  R met  een  punt  van  Q samenvalt. 
Twee  puntsoorten  Q en  R wijken  van  elkaar  «/,  als  een  der  punt- 
soorten een  punt  bevat,  dat  van  de  andere  puntsoort  afwijkt. 
Twee  puntsoorten  Q en  R lig;gen  van  elkaar  verwijderd,  als  een 
der  puntsoorten  een  punt  bevat,  dat  van  de  andere  punisoort  ver- 
wijderd ligt. 
Onderwerpen  we  de  samen vallingsrelatie  aan  de  praedieaten  van 
ongerijmdheid  en  ongerijmdheid  van  ongerijmdheid,  dan  komen  twee 
nieuwe  relaties,  die  we  achtereenvolgens  de  loswikkelingsrelatie  en 
de  ineenvlechtingsrelatie  noemen. 
Onderwerpen  we  de  afwijkitigsrelatie  aan  de  praedicaten  van 
ongerijmdheid  en  ongerijtndheid  van  ongerijmdheid,  dan  komen  twee 
nieuwe  relaties,  die  we  achteieenvolgens  de  (plaalselijke)  congruen- 
tierelatie.  ’)  en  de  loshecktingsrelatie  noemen. 
Onderwerpen  we  de  verwijderingsrelatie  aan  de  praedjcaten  van 
ongerijmdheid  en  ongerijmdheid  van  ongerijmdheid,  dan  komen  twee 
nieuwe  relaties,  die  we  achtereenvolgens  de  (plaatselijke)  overeen- 
stem ming  srela  tie  j en  de  afscheidingsrelatie^)  noemen. 
Het  logisch  verband  tusschen  de  negen  vlakke  versmeltingsrelaties 
van  twee  puntsoorten  kan  aldus  worden  uitgedrukt: 
eiwijicriruf — -a\sc[}e\i\ï^- — -ovcrccndcraminj 
af  wij  ki  tKj  — - (osltccj)  f ii^- — -cot^ruent  l c 
iomenvollimj — -inanvlcdjling- — -Uwiktclintj 
‘)  Vgl  I.  c.  p.  6.  Zij  A de  verzameling  der  rationale  getallen;  B de  verzameling 
der  reëele  getallen  r + s,  waar  r hetzelfde  getal,  als  in  § 1,  en  s een  willekeurig 
rationaal  getal  voorstelt;  C de  soort  der  reëele  getallen;  D de  soort  der  negatief 
irrationale  (d.  w.  z.  van  A afwijkende)  getallen;  E de  soort  der  positief  irrationale 
(d.  w z.  van  A verwijderde)  getallen;  F de  vereeniging  van  A en  D;  G de  ver- 
eeniging  van  A en  E.  Dan  zijn  A en  B ineengevlochten,  zonder  samen  te  vallen ; 
G en  F zijn  congruent,  doch  niet  ineengevlochten ; C en  G stemmen  overeen, 
zonder  congruent  te  zijn. 
“)  Zij  U de  verzameling  der  geheele  positieve  getallen;  V de  verzameling  der 
getallen  ■ .,  waarin  tn  — (n—k^  + 1)  2,  als  n > en  anders  tn  = 2n— 1. 
Dan  bestaat  tusschen  U en  F de  afscheidingsrelatie,  doch  niet  de  afwijkingsrelatie. 
