Preorde: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 9:
:<math>x \lesssim x</math>
transitiviteit:
:als <math>x \lesssim y</math> en <math>y \lesssim z</math>, dan is ook <math>x \lesssim z</math>
|
Regel 9:
:<math>x \lesssim x</math>
transitiviteit:
:als <math>x \lesssim y</math> en <math>y \lesssim z</math>, dan is ook <math>x \lesssim z</math>
|