Teilmenge S einer geordneten Menge {M, ≤}, die unteres und oberes Raster ist.

Dabei heißt S unteres Raster, falls für alle a ∈ M die Menge der unteren Schranken von a in S nicht leer ist und ein größtes Element besitzt, und oberes Raster, falls für alle a ∈ M die Menge der oberen Schranken von a in S nicht leer ist und ein kleinstes Element besitzt.