as for a nonprincipal uf, just take any infinite set a and construct any infinite decreasing sequence of subsets that excludes only a countable subset of a. for example, take r and any enumeration of the rationals, and start r > r/(x1) > r/(x1,x2)> .....
Greece