Bir örgünün (…) gerektirmesini doğrulayan ve boş olmayan A altkümesi.

Bir (…) altkümesinin bir örtüsünün, kendisi de A nın bir örtüsü olan alttakımı.