Boş olmayan, üstten ve alttan sınırlı her altkümesinin sırayla en küçük üst sınırı ve en büyük alt sınırı var olan örgü.(?)
