Birkhoff's theorem establishes that varieties are exactly the classes closed under products, subalge...
This proposition has not been edited since the history system was added.