Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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?
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.
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.
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.
1 to 4 of 4