Además,\ begin {alinear*} &A\ taza A^C = A\ copa S = A^C\ copa S = S\ copa S =\ juego vacío\ copa S = S\\ &A\ copa\ juego vacío = A\ taza A = A\\ &a^C\ taza\ juego vacío = A^C\ taza A^C = A^C\ &\ jueg...Además,\ begin {alinear*} &A\ taza A^C = A\ copa S = A^C\ copa S = S\ copa S =\ juego vacío\ copa S = S\\ &A\ copa\ juego vacío = A\ taza A = A\\ &a^C\ taza\ juego vacío = A^C\ taza A^C = A^C\ &\ juego vacío\ taza\ set =\ emptyset\ end {align*} Dado queS es finito, es unσ álgebra por (7) . A continuación,A∈S.