<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="latexml"?>
<?latexml RelaxNGSchema="LaTeXML"?>
<document xmlns="http://dlmf.nist.gov/LaTeXML">
<resource src="LaTeXML.css" type="text/css"/>
<resource src="ltx-article.css" type="text/css"/>
<para xml:id="p1">
<equation xml:id="S0.Ex1">
<Math mode="display" tex="\{a\}" text="set@(a)" xml:id="S0.Ex1.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="set"/>
<XMRef idref="S0.Ex1.m1.1"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="ID" xml:id="S0.Ex1.m1.1">a</XMTok>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id="S0.Ex2">
<Math mode="display" tex="\{a:a\in b\}" text="conditional-set@(a, a element-of b)" xml:id="S0.Ex2.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex2.m1.1"/>
<XMRef idref="S0.Ex2.m1.2"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="ID" xml:id="S0.Ex2.m1.1">a</XMTok>
<XMTok name="colon" role="METARELOP">:</XMTok>
<XMApp xml:id="S0.Ex2.m1.2">
<XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
<XMTok font="italic" role="ID">a</XMTok>
<XMTok font="italic" role="ID">b</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id="S0.Ex3">
<Math mode="display" tex="\{a|a\in b\}" text="conditional-set@(a, a element-of b)" xml:id="S0.Ex3.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex3.m1.1"/>
<XMRef idref="S0.Ex3.m1.2"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="ID" xml:id="S0.Ex3.m1.1">a</XMTok>
<XMTok role="MIDDLE" stretchy="false">|</XMTok>
<XMApp xml:id="S0.Ex3.m1.2">
<XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
<XMTok font="italic" role="ID">a</XMTok>
<XMTok font="italic" role="ID">b</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id="p2">
<equation xml:id="S0.Ex4">
<Math mode="display" tex="\{a|a\in b\}_{c=0}" text="(conditional-set@(a, a element-of b)) _ (c = 0)" xml:id="S0.Ex4.m1">
<XMath>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex4.m1.1"/>
<XMRef idref="S0.Ex4.m1.2"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="ID" xml:id="S0.Ex4.m1.1">a</XMTok>
<XMTok role="MIDDLE" stretchy="false">|</XMTok>
<XMApp xml:id="S0.Ex4.m1.2">
<XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
<XMTok font="italic" role="ID">a</XMTok>
<XMTok font="italic" role="ID">b</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
<XMApp>
<XMTok fontsize="70%" meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" fontsize="70%" role="ID">c</XMTok>
<XMTok fontsize="70%" meaning="0" role="NUMBER">0</XMTok>
</XMApp>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<para xml:id="p3">
<equation xml:id="S0.Ex5">
<Math mode="display" tex="\{x|x\not\in\{y|y>0\}\}" text="conditional-set@(x, x not-element-of conditional-set@(y, y > 0))" xml:id="S0.Ex5.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex5.m1.2"/>
<XMRef idref="S0.Ex5.m1.3"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="UNKNOWN" xml:id="S0.Ex5.m1.2">x</XMTok>
<XMTok role="MIDDLE" stretchy="false">|</XMTok>
<XMApp xml:id="S0.Ex5.m1.3">
<XMTok meaning="not-element-of" name="not-in" role="RELOP">∉</XMTok>
<XMTok font="italic" role="UNKNOWN">x</XMTok>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex5.m1.1"/>
<XMRef idref="S0.Ex5.m1.3.1"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="false">{</XMTok>
<XMTok font="italic" role="UNKNOWN" xml:id="S0.Ex5.m1.1">y</XMTok>
<XMTok role="MIDDLE" stretchy="false">|</XMTok>
<XMApp xml:id="S0.Ex5.m1.3.1">
<XMTok meaning="greater-than" role="RELOP">></XMTok>
<XMTok font="italic" role="UNKNOWN">y</XMTok>
<XMTok meaning="0" role="NUMBER">0</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
</XMApp>
<XMTok role="CLOSE" stretchy="false">}</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id="p4">
<equation xml:id="S0.Ex6">
<Math mode="display" tex="\left\{x\middle|x\in S\right\}" text="conditional-set@(x, x element-of S)" xml:id="S0.Ex6.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="conditional-set"/>
<XMRef idref="S0.Ex6.m1.1"/>
<XMRef idref="S0.Ex6.m1.2"/>
</XMApp>
<XMWrap>
<XMTok role="OPEN" stretchy="true">{</XMTok>
<XMTok font="italic" role="UNKNOWN" xml:id="S0.Ex6.m1.1">x</XMTok>
<XMTok role="MIDDLE" stretchy="true">|</XMTok>
<XMApp xml:id="S0.Ex6.m1.2">
<XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
<XMTok font="italic" role="UNKNOWN">x</XMTok>
<XMTok font="italic" role="UNKNOWN">S</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="true">}</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
</document>