Fork me on GitHub
Math for the people, by the people.

User login

every filter is contained in an ultrafilter

Type of Math Object: 
Theorem
Major Section: 
Reference
Parent: 
Groups audience: 

Mathematics Subject Classification

54A20 no label found

Subscribe to Comments for "every filter is contained in an ultrafilter"