ultrafiltrem
Encyklopedia PWN
mat. podzbiór F zbioru częściowo uporządkowanego (A, ≤), taki że: 1) jeżeli a, b ∈ F i istnieje kres dolny c = inf{a, b} w A, to c ∈ F; 2) jeżeli a ∈ F, b ∈ A i a ≤ b, to b ∈ F (porządek, kres zbioru);
dział matematyki rozwinięty w latach 60. XX w. przez A. Robinsona, będący ścisłą realizacją pochodzącej z XVII w. koncepcji G.W. Leibniza, który chciał oprzeć cały rachunek różniczkowy i całkowy na pojęciu nieskończenie małej;