Let be an arbitrary familiy of -algebras defined on an abstract space . Show that as also a -algebra.
Since , we have that as always "at least" , which is the trivial -field.
In fact, if , , then .
Otherwise, if say is in , , then , and is a -algebra.
Thanks for your help!