Preorde: verschil tussen versies

In de [[ordetheorie]], een onderdeel van de [[wiskunde]], is een '''preorde''' of '''quasi-orde''', een [[Homogeniteit (relatie)|homogene]] [[tweeplaatsige relatie]] die [[reflexieve relatie|reflexief]] en [[transitiviteit (wiskunde)|transitief]] is. Preordes worden vaak aangeduid met het symbool <math>\lesssim</math>. Van iedere homogene tweeplaatsige relatie <math>R</math> is de reflexief-transitieve afsluiting <math>R^*</math> een preorde.

 

 

==Zwakke orde==