Bir X kümesi için, X in tüm altkümelerinden oluşan ilinge. Anlamdaş. ayırtık illngesel yapı, apaçık ilinge.