Lineaire ordening
Een lineaire ordening van een verzameling A is een relatie (zie monade, monadisch) tussen de elementen van A die reflexief, antisymmetrisch, transitief ensamenhangend is in A . Een voorbeeld is de relatie < tussen reële getallen. Aanschouwelijk kan men de elementen van een lineair geordende verzameling voorstellen als gelegen op een rechte lijn....