非主超滤子

nonprincipal ultrafilter