I need to prove both general union and intersection for indexed family sets using logic quantifiers, this is the prove i've written but i'm not sure if its correct:

Thanks for help.
I need to prove both general union and intersection for indexed family sets using logic quantifiers, this is the prove i've written but i'm not sure if its correct:

Thanks for help.
Copyright © 2021 JogjaFile Inc.