Ultrafilter

Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.