Ultrafilter
maximal proper filter
Press Enter · cited answer in seconds
0 sources
Ultrafilter
Summary
Key Facts
- Ultrafilter's subclass of is recorded as ultrafilter[1].
- Ultrafilter's subclass of is recorded as pi-system[2].
- Ultrafilter's part of is recorded as power set[3].
- Ultrafilter's different from is recorded as ultrafilter[4].
- Ultrafilter's different from is recorded as ultrafiltration[5].
- Ultrafilter's Metamath statement ID is recorded as df-ufil[6].