Ultrafilter on a set

ID: ultrafilter-on-a-set

New to topics? Read the docs here!