On 3 definitions of subnet (See also Pete L. Clark's notes on convergence.)
F-limits
beta(N) and proof of Hindman's theorem