Bir X kümesi verildiğinde, X in altkümelerinden oluşan ve aşağıdaki koşulları gerçekleyen S takımı :
a) S içinden alınan dilemsel iki öğenin kesişimi ğ içinde bir küme kapsar, b) (?) kümesi üzerinde bir S süzgeci verildiğinde S nin (?)koşulunu gerçekleyen (?)alttakımı.
TDK Matematik Terimleri Sözlüğü