# Commit 2024-05-13 06:20 aa5da767

View on Github →feat: add algebra of sets (#12467) Define the notion of algebra of sets and prove basic properties. Define the algebra of set generated by a family and prove basic properties. Prove that the algebra of sets generated by a countable family is countable.