Template talk:Families of sets

	This template does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:
Mathematics This template is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles

I recently edited https://en.wikipedia.org/wiki/Semiring#Semiring_of_sets and https://en.wikipedia.org/wiki/Ring_of_sets#Related_structures to change the erroneous definition of a semialgebra. It previously said:

• A semialgebra on ${\displaystyle X}$ is a semiring that has ${\displaystyle X}$ as an element.

I now have it as a semiring ${\displaystyle {\mathcal {S}}}$ with the extra condition:

• If ${\displaystyle E\in {\mathcal {S}}}$ then there exists a finite number of mutually disjoint sets ${\displaystyle C_{1},\ldots ,C_{n}\in {\mathcal {S}}}$ such that ${\displaystyle X\setminus E=\bigcup _{i=1}^{n}C_{i}.}$

This is consistent with virtually all sources I can find, including (oddly enough) the source it originally cited (Durrett 2019). Note that these are not equivalent: the first implies the second, but the converse fails for ${\displaystyle {\mathcal {S}}:=\{\emptyset ,\{x\},\{y\}\}}$ on ${\displaystyle X=\{x,y\}}$. Besides that, the second one is a natural starting point for the Caratheodory construction, but the extra condition of having ${\displaystyle X}$ in your collection doesn't give you anything there (that I know of).

Anyhow, I just changed that part of the template to reflect this. Unfortunately, it make "semialgebra" identical to "semiring" from the perspective of the table. Given that the distinction between them is rather subtle and arcane outside of measure theory, I guess this isn't surprising.

- Morgan 129.72.100.78 (talk) 04:37, 6 October 2022 (UTC)[reply]