Pete L Clark has a thing he typed up about

Do you have a citation for that?

one can get the correct definition by understanding the definition of a subfilter.

That should give Definition 3.

]]>Pete L Clark has a thing he typed up about filters and nets, and how the original definition of a subnet was wrong. In fact, one can get the correct definition by understanding the definition of a subfilter.

]]>I agree with your change, which makes the definition equivalent to that given by Willard.

However, I don’t actually agree with Willard’s definition, so I added some other definitions and explained the relationship between them.

]]>The definition of “subnet” under net looked wrong to me (part of the wrongness was obvious), so I changed it so that it looks correct to me. Could someone please give independent verification?

]]>