ultrafilter

[ریاضیات] فراپالایه، فراصافی