Principal ultrafilter

Summary