∀ z ∈ D <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5"> <in id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/> <apply id="p1.1.m1.1.5.1.cmml" xref="p1.1.m1.1.5.1"> <csymbol cd="latexml" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">for-all</csymbol> <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">𝑧</ci> </apply> <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">𝐷</ci> </apply> </annotation-xml> {\displaystyle{\displaystyle\forall z\in D}}
∈ <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <in id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1"/> </annotation-xml> {\displaystyle{\displaystyle\in}}
∀ <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <csymbol cd="latexml" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">for-all</csymbol> </annotation-xml> {\displaystyle{\displaystyle\forall}}
z <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑧</ci> </annotation-xml> {\displaystyle{\displaystyle z}}
D <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝐷</ci> </annotation-xml> {\displaystyle{\displaystyle D}}
A <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝐴</ci> </annotation-xml> {\displaystyle{\displaystyle A}}
B <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝐵</ci> </annotation-xml> {\displaystyle{\displaystyle B}}