X kümesi içinde, X in bir (…)öğesini kapsayan tüm altkümelerinden oluşan büyükçe süzgeç

Tüm bilinmeyenleri için sıfır değerini alan özel çözüm.

Bir anlatım ya da yanıtın içerdiği açık ve dış anlam.

(Lat. evidentia videre = görmek, evidens = açıkça görünen, göze görünen, açıkça kavranan