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?
]]>