Mirror of the Rel4tion website/wiki source, view at <http://rel4tion.org>
Clone
HTTPS:
git clone https://vervis.peers.community/repos/yEzqv
SSH:
git clone USERNAME@vervis.peers.community:yEzqv
Branches
Tags
reality.dia
<?xml version="1.0" encoding="UTF-8"?>
<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
<dia:diagramdata>
<dia:attribute name="background">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="pagebreak">
<dia:color val="#ffff66"/>
</dia:attribute>
<dia:attribute name="paper">
<dia:composite type="paper">
<dia:attribute name="name">
<dia:string>#A4#</dia:string>
</dia:attribute>
<dia:attribute name="tmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="bmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="lmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="rmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="is_portrait">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="scaling">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="fitto">
<dia:boolean val="false"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="grid">
<dia:composite type="grid">
<dia:attribute name="width_x">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="width_y">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="visible_x">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="visible_y">
<dia:int val="1"/>
</dia:attribute>
<dia:composite type="color"/>
</dia:composite>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#271a1a"/>
</dia:attribute>
<dia:attribute name="guides">
<dia:composite type="guides">
<dia:attribute name="hguides"/>
<dia:attribute name="vguides"/>
</dia:composite>
</dia:attribute>
</dia:diagramdata>
<dia:layer name="Background" visible="true" active="true">
<dia:object type="Standard - Ellipse" version="0" id="O0">
<dia:attribute name="obj_pos">
<dia:point val="22.785,-1.12"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="22.735,-1.17;28.085,1.63"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="22.785,-1.12"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="5.25"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O1">
<dia:attribute name="obj_pos">
<dia:point val="25.41,0.23"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="23.545,-0.792917;27.275,1.25292"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#U
Universe#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="25.41,-0.00541665"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O0" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O2">
<dia:attribute name="obj_pos">
<dia:point val="13.135,7.43"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="13.085,7.38;18.435,10.18"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="13.135,7.43"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="5.25"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O3">
<dia:attribute name="obj_pos">
<dia:point val="15.76,8.78"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="14.8425,7.75708;16.6775,9.80292"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#S
Sets#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="15.76,8.54458"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O2" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O4">
<dia:attribute name="obj_pos">
<dia:point val="30.27,7.17"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="30.22,7.12;41.57,10.7"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="30.27,7.17"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="11.250000000000039"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="3.4799999999999756"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O5">
<dia:attribute name="obj_pos">
<dia:point val="35.895,8.91"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="31.1625,7.88708;40.6275,9.93292"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#E
Elements (Non-Tuples)#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="35.895,8.67458"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O4" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O6">
<dia:attribute name="obj_pos">
<dia:point val="0.49,17.41"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="0.44,17.36;7.05,20.16"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="0.49,17.41"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="6.5099999999999838"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O7">
<dia:attribute name="obj_pos">
<dia:point val="3.745,18.76"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="1.7975,17.7371;5.6925,19.7829"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#R
Relations#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="3.745,18.5246"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O6" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O8">
<dia:attribute name="obj_pos">
<dia:point val="-8.22,26.705"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-8.27,26.655;-0.85,29.455"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="-8.22,26.705"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="7.3200000000000198"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O9">
<dia:attribute name="obj_pos">
<dia:point val="-4.56,28.055"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-7.305,27.0321;-1.815,29.0779"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊆
Containment#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="-4.56,27.8196"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O8" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O10">
<dia:attribute name="obj_pos">
<dia:point val="7.9,26.635"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="7.85,26.585;15.3,29.385"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="7.9,26.635"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="7.3500000000000156"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O11">
<dia:attribute name="obj_pos">
<dia:point val="11.575,27.985"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="8.95625,26.9621;14.1937,29.0079"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#∈
Membership#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="11.575,27.7496"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O10" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O12">
<dia:attribute name="obj_pos">
<dia:point val="-0.11,37.8"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-0.16,37.75;8.05,41.91"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="-0.11,37.8"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="8.1099999999999781"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="4.0600000000000733"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O13">
<dia:attribute name="obj_pos">
<dia:point val="3.945,39.83"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="1.2,38.2779;6.69,41.3821"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊑
Relation
Containment#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="3.945,39.0654"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O12" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O14">
<dia:attribute name="obj_pos">
<dia:point val="-17.4726,37.645"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-17.5226,37.595;-8.31745,41.825"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="-17.4726,37.645"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="9.10515000000008"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="4.1299999999999528"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O15">
<dia:attribute name="obj_pos">
<dia:point val="-12.92,39.71"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-16.3825,38.1579;-9.4575,41.2621"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⋐
Set-of-Non-Tuple
Containment#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="-12.92,38.9454"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O14" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Ellipse" version="0" id="O16">
<dia:attribute name="obj_pos">
<dia:point val="19.21,17.605"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="19.16,17.555;29.62,20.355"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="19.21,17.605"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="10.360000000000021"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.7000000000000002"/>
</dia:attribute>
<dia:attribute name="border_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="inner_color">
<dia:color val="#000000"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O17">
<dia:attribute name="obj_pos">
<dia:point val="24.39,18.955"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="20.5038,17.9321;28.2762,19.9779"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#G
Sets of Non-Tuples#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="24.39,18.7196"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O16" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O18">
<dia:attribute name="obj_pos">
<dia:point val="17.1153,7.57922"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="17.0447,1.35663;24.1384,7.6498"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="17.1153,7.57922"/>
<dia:point val="24.0547,1.43078"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O2" connection="8"/>
<dia:connection handle="1" to="O0" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O19">
<dia:attribute name="obj_pos">
<dia:point val="33.8878,7.24833"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="26.7475,1.33721;33.9582,7.31873"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="33.8878,7.24833"/>
<dia:point val="26.8336,1.40851"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O4" connection="8"/>
<dia:connection handle="1" to="O0" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O20">
<dia:attribute name="obj_pos">
<dia:point val="23.2417,17.6011"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="16.7691,9.96972;23.3122,17.6716"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="23.2417,17.6011"/>
<dia:point val="16.8414,10.055"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O16" connection="8"/>
<dia:connection handle="1" to="O2" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O21">
<dia:attribute name="obj_pos">
<dia:point val="5.23661,17.521"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="5.1662,9.88814;14.4259,17.5914"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="5.23661,17.521"/>
<dia:point val="14.3399,9.95958"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O6" connection="8"/>
<dia:connection handle="1" to="O2" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O22">
<dia:attribute name="obj_pos">
<dia:point val="-3.38146,26.736"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-3.45206,19.9798;2.65515,26.8066"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="-3.38146,26.736"/>
<dia:point val="2.58066,20.0631"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="line_style">
<dia:enum val="4"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O8" connection="8"/>
<dia:connection handle="1" to="O6" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O23">
<dia:attribute name="obj_pos">
<dia:point val="10.4486,26.6579"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="4.78569,19.9861;10.5191,26.7284"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="10.4486,26.6579"/>
<dia:point val="4.85804,20.0713"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="line_style">
<dia:enum val="4"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O10" connection="8"/>
<dia:connection handle="1" to="O6" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O24">
<dia:attribute name="obj_pos">
<dia:point val="2.53693,37.8806"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-3.6622,29.304;2.60674,37.9504"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="2.53693,37.8806"/>
<dia:point val="-3.59239,29.3946"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O12" connection="8"/>
<dia:connection handle="1" to="O8" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O25">
<dia:attribute name="obj_pos">
<dia:point val="-11.4826,37.7061"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-11.5524,29.3086;-5.45461,37.7759"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="-11.4826,37.7061"/>
<dia:point val="-5.52438,29.3995"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="line_color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O14" connection="8"/>
<dia:connection handle="1" to="O8" connection="8"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O26">
<dia:attribute name="obj_pos">
<dia:point val="25.14,-2.775"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="20.3425,-3.37;29.9375,-1.825"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Set of everything:
All sets and all their members#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="25.14,-2.775"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O27">
<dia:attribute name="obj_pos">
<dia:point val="42.5701,11.9"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="36.8763,11.305;48.2638,12.85"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Set of all elements (all things)
which are not pairs, not triples, etc.#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="42.5701,11.9"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O28">
<dia:attribute name="obj_pos">
<dia:point val="9.78258,9.05"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="7.61508,8.455;11.9501,9.2"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Set of all sets#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="9.78258,9.05"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O29">
<dia:attribute name="obj_pos">
<dia:point val="34.6826,18.475"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="30.7851,17.88;38.5801,19.425"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#All sets whose members
are also members of E#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="34.6826,18.475"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O30">
<dia:attribute name="obj_pos">
<dia:point val="20.1626,3.80292"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="19.8076,3.30917;20.5176,4.29667"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊆#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="20.1626,4.09667"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O31">
<dia:attribute name="obj_pos">
<dia:point val="30.5826,3.55"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="30.2276,3.05625;30.9376,4.04375"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊆#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="30.5826,3.84375"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O32">
<dia:attribute name="obj_pos">
<dia:point val="20.2326,12.925"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="19.8776,12.4313;20.5876,13.4188"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊆#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="20.2326,13.2188"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O33">
<dia:attribute name="obj_pos">
<dia:point val="9.93258,12.825"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="9.57758,12.3312;10.2876,13.3187"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊆#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="9.93258,13.1187"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O34">
<dia:attribute name="obj_pos">
<dia:point val="-0.913675,22.6529"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-1.28242,22.1591;-0.544925,23.1466"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#∈#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="-0.913675,22.9466"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O35">
<dia:attribute name="obj_pos">
<dia:point val="7.83633,22.2737"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="7.46758,21.7799;8.20508,22.7675"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#∈#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="7.83633,22.5675"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O36">
<dia:attribute name="obj_pos">
<dia:point val="-0.337425,32.7821"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-0.692425,32.2884;0.017575,33.2758"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊑#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="-0.337425,33.0759"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O37">
<dia:attribute name="obj_pos">
<dia:point val="-9.01742,32.85"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="-9.37242,32.3563;-8.66242,33.3438"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#⊑#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="1.0583332926034927"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="-9.01742,33.1438"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="2"/>
</dia:attribute>
</dia:object>
</dia:layer>
</dia:diagram>