Definition talk:Measurable Set/Subsets of Real Space

From ProofWiki
Jump to navigation Jump to search

Is there a reason for preferring $A \cap \map \complement S$ over $A \setminus S$? --Ivan1248 (talk) 21:15, 10 August 2023 (UTC)

That's just what was initially entered back in 2009 by J D Bowen who hasn't been seen since 2011.
Others have expanded the section to use $A \setminus S$, but indeed there is an inconsistency there.
Makes sense to change to $A \setminus S$ consistently, perhaps with an "also denoted as" somewhere in the mix.
Thanks for pointing that out, it was crying out for a tidy-up. --prime mover (talk) 22:25, 10 August 2023 (UTC)
Thank you! Do you have any rules about when it should be explained what some notation means? I see another inconsistency: Measurable Subset of $\R^n$ says
"$A \setminus S$ denotes the set difference between $A$ and $S$",
while Measurable Subset of the Reals does not. --Ivan1248 (talk) 10:38, 12 August 2023 (UTC)
Yes, see Help:Editing/House_Style#References_to_Definitions. --Usagiop (talk) 00:10, 12 August 2023 (UTC)
Thank you! I have seen this, but I am not sure about whether it should be mentioned that e.g. $\setminus$ is set difference or that $\cap$ is set intersection. Should I add or remove explanations of standard set operations? Alternatively, should such explanations be included only at the first occurrence on a page such as Definition:Measurable_Set? --Ivan1248 (talk) 10:38, 12 August 2023 (UTC)
Boils down to the fact that some are lazier than others, and much of the maintenance ends up being done by a vanishingly small number of people. --prime mover (talk) 01:07, 12 August 2023 (UTC)
Also, thank you for this website! I like the clarity very much. --Ivan1248 (talk) 21:49, 11 August 2023 (UTC)