██████ ████████

████████

Estes ████████ ████ ████████████ da ██████ █████████, ou ████, ████ uma ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e um ████████ ${\displaystyle A\subset \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ o ████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A)=\{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}|\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\in A\}.}$

• ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ um ████████ com a █████████ ████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}),}$ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ com ████████ █████████, █████ ████████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████.

█████ ███ que, ${\displaystyle \mathrm{\forall }A\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ █████ que, ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A)\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}),}$ e ████████ é ██████, o que ██████ que ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é uma ██████ ████████.

• ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ um ████████ com a █████████ █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}=\{\varnothing ,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\},}$ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ com ████████ █████████, █████ ████████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████.

De ████, ████, como os ████ ██████ ███████ de ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ███ ${\displaystyle \varnothing }$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ █████ █████████ se suas ███████ ████████ ███ ███████. Mas ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(\varnothing )=\varnothing }$ e ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ e, por █████████, ${\displaystyle \varnothing }$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ ███████ em ████████ █████████ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$

• █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ █████████. █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ é uma ██████ ████████.

████ ████: ████████ que ████ ${\displaystyle A\subset \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████, pela ████████████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ █████ que ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A)}$ é um ██████ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ ████████, pela ████████████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A))}$ é um ██████ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ Mas ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A))=(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{)}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(A),}$ o que █████ a ████████████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ em ██████ ███████.

███-se que uma ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████ no █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=a}$ se ${\displaystyle a}$ é um █████ ███████ do ███████ ou, ████ ████ █████ de ██████████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ se ███████ o ██████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ com ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████████ a ${\displaystyle a}$ e esse ██████ ███ █████ a ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a).}$

███.: ███ ███ ███████ ████████ ███████ em ██████ que ███ ███ de ██████████. ████ █████████████ ████████ que ████████ █████ █████ ██████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ com ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████████ a ${\displaystyle a}$

Em ███████ ████, essa █████████ é ███████ na █████ ███████████ ███████-█████, ou ████, ███-se que uma ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████ num █████ ${\displaystyle a}$ do seu ███████ se, ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{\exists }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ que █████

Esta █████████, com uma ███████ █████████, pode ser █████ para uma ██████ de um ██████ ███████ ${\displaystyle E}$ em █████ ██████ ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:}$ a ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████ em ${\displaystyle a\in E}$ quando ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{\exists }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ que

Em ██████ de █████, █████ ████ ███████ ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ que a █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████ em ${\displaystyle a\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ se, ████ uma ████ ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\prime }=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a),\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ de ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a)}$ e ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ pode-se █████████ uma ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}),}$ de ██████ ${\displaystyle a}$ e ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ que ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\subset {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\prime }.}$

███-se que █ é ████████ em seu ███████, ou ████████████ ████████, se ela ███ ████████ em █████ os ██████ █████ ███████.

███████

• ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},}$ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ ████████ ███ ██████. Se ${\displaystyle \mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████████ que ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}),\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}))\le \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cdot \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}),}$ █████ a █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ████████ e a █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ███████ de █████████ de █████████. Na ████ ████ ████ █████████ ██████████████ é █████████████ ████████.