O pewnych kratach testowych
Teoria krat pojawiła się pod koniec XIX wieku, wyrastając z logiki i algebry. W logice kraty pojawiły się za sprawą George’a Boole’a, a w algebrze kraty pierwszy rozpatrywał Richard Dedekind. Kraty są przedmiotem badań algebraików, stanowią jednocześnie wygodny środek opisu znanych struktur matematycznych, których przykłady przedstawię w dalszej części artykułu.