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.
In proximity+space article A≪B is defined as (X∖A)δB.
But in Wikipedia it is defined as “AδX−B is false”.
What is the right notation? Where is the error?
I think Wikipedia is right on this one, our page must have a typo.
[Ignore this my comment. It is erroneous.]
Then the sets of the form ⋃i∈n(Ai×Ai) contain empty set (and thus is not a base for a uniformity) because Ai=∅ is allowed (for every possible Bk).
So there must be at least one more error in proximity+space article. Maybe Bk≪Ak is confused with Ak≪Bk?
I’ve edited our wiki to be the same as Wikipedia.
1 to 4 of 4