<TeXmacs|1.0.7.10>

<style|book>

<\body>
  <chapter|Counter-examples about funcoids and reloids>

  ????
</body>

<\initial>
  <\collection>
    <associate|info-flag|short>
  </collection>
</initial>

<\references>
  <\collection>
    <associate|adj-by-other|<tuple|2.54|17>>
    <associate|at-func-cond|<tuple|5.6|76>>
    <associate|at-func-eq|<tuple|5.7|76>>
    <associate|at-rel-cond|<tuple|5.8|76>>
    <associate|at-rel-eq|<tuple|5.9|76>>
    <associate|atom-atom|<tuple|4.133|51>>
    <associate|atom-both|<tuple|4.49|37>>
    <associate|atom-is-prime|<tuple|4.52|38>>
    <associate|atomistic-enough|<tuple|3.19|25>>
    <associate|atoms-join|<tuple|2.46|16>>
    <associate|atoms-meet|<tuple|2.48|16>>
    <associate|auto-1|<tuple|1|3>>
    <associate|auto-10|<tuple|1.8|11>>
    <associate|auto-100|<tuple|5.6|74>>
    <associate|auto-101|<tuple|5.7|75>>
    <associate|auto-102|<tuple|5.8|76>>
    <associate|auto-103|<tuple|5.9|78>>
    <associate|auto-104|<tuple|5.10|80>>
    <associate|auto-105|<tuple|5.11|82>>
    <associate|auto-106|<tuple|5.12|85>>
    <associate|auto-107|<tuple|5.13|87>>
    <associate|auto-108|<tuple|5.14|88>>
    <associate|auto-109|<tuple|5.15|88>>
    <associate|auto-11|<tuple|2|13>>
    <associate|auto-110|<tuple|6|89>>
    <associate|auto-111|<tuple|6.1|89>>
    <associate|auto-112|<tuple|6.2|89>>
    <associate|auto-113|<tuple|6.3|91>>
    <associate|auto-114|<tuple|6.4|92>>
    <associate|auto-115|<tuple|6.5|93>>
    <associate|auto-116|<tuple|6.6|94>>
    <associate|auto-117|<tuple|6.7|95>>
    <associate|auto-118|<tuple|7|99>>
    <associate|auto-119|<tuple|7.1|99>>
    <associate|auto-12|<tuple|2.1|13>>
    <associate|auto-120|<tuple|7.2|102>>
    <associate|auto-121|<tuple|7.3|103>>
    <associate|auto-122|<tuple|8|105>>
    <associate|auto-123|<tuple|8.1|105>>
    <associate|auto-124|<tuple|8.1.1|105>>
    <associate|auto-125|<tuple|8.1.2|105>>
    <associate|auto-126|<tuple|8.1.3|106>>
    <associate|auto-127|<tuple|8.2|106>>
    <associate|auto-128|<tuple|8.3|107>>
    <associate|auto-129|<tuple|9|109>>
    <associate|auto-13|<tuple|2.1.1|13>>
    <associate|auto-130|<tuple|9.1|109>>
    <associate|auto-131|<tuple|9.2|109>>
    <associate|auto-132|<tuple|9.3|110>>
    <associate|auto-133|<tuple|9.4|111>>
    <associate|auto-134|<tuple|9.5|113>>
    <associate|auto-135|<tuple|10|115>>
    <associate|auto-136|<tuple|11|117>>
    <associate|auto-137|<tuple|<with|mode|<quote|math>|\<bullet\>>|119>>
    <associate|auto-14|<tuple|2.1.1.1|13>>
    <associate|auto-15|<tuple|2.1.2|14>>
    <associate|auto-16|<tuple|2.1.3|14>>
    <associate|auto-17|<tuple|2.1.4|14>>
    <associate|auto-18|<tuple|2.1.5|15>>
    <associate|auto-19|<tuple|2.1.6|16>>
    <associate|auto-2|<tuple|1|9>>
    <associate|auto-20|<tuple|2.1.7|17>>
    <associate|auto-21|<tuple|2.1.8|18>>
    <associate|auto-22|<tuple|2.2|21>>
    <associate|auto-23|<tuple|2.3|21>>
    <associate|auto-24|<tuple|2.4|21>>
    <associate|auto-25|<tuple|2.5|21>>
    <associate|auto-26|<tuple|3|23>>
    <associate|auto-27|<tuple|3.1|23>>
    <associate|auto-28|<tuple|3.1.1|23>>
    <associate|auto-29|<tuple|3.1.2|24>>
    <associate|auto-3|<tuple|1.1|9>>
    <associate|auto-30|<tuple|3.1.3|25>>
    <associate|auto-31|<tuple|3.2|26>>
    <associate|auto-32|<tuple|3.2.1|27>>
    <associate|auto-33|<tuple|3.3|27>>
    <associate|auto-34|<tuple|3.4|29>>
    <associate|auto-35|<tuple|3.4.1|29>>
    <associate|auto-36|<tuple|3.4.2|29>>
    <associate|auto-37|<tuple|3.4.2.1|30>>
    <associate|auto-38|<tuple|3.5|31>>
    <associate|auto-39|<tuple|3.6|31>>
    <associate|auto-4|<tuple|1.2|9>>
    <associate|auto-40|<tuple|3.7|31>>
    <associate|auto-41|<tuple|4|33>>
    <associate|auto-42|<tuple|4.1|33>>
    <associate|auto-43|<tuple|4.1.1|33>>
    <associate|auto-44|<tuple|4.1.2|33>>
    <associate|auto-45|<tuple|4.1.3|34>>
    <associate|auto-46|<tuple|4.1.4|34>>
    <associate|auto-47|<tuple|4.2|34>>
    <associate|auto-48|<tuple|4.2.1|35>>
    <associate|auto-49|<tuple|4.2.2|36>>
    <associate|auto-5|<tuple|1.3|9>>
    <associate|auto-50|<tuple|4.2.3|36>>
    <associate|auto-51|<tuple|4.2.4|36>>
    <associate|auto-52|<tuple|4.2.5|37>>
    <associate|auto-53|<tuple|4.2.6|37>>
    <associate|auto-54|<tuple|4.2.7|38>>
    <associate|auto-55|<tuple|4.2.8|38>>
    <associate|auto-56|<tuple|4.2.9|40>>
    <associate|auto-57|<tuple|4.2.10|41>>
    <associate|auto-58|<tuple|4.2.11|42>>
    <associate|auto-59|<tuple|4.3|42>>
    <associate|auto-6|<tuple|1.4|9>>
    <associate|auto-60|<tuple|4.3.1|42>>
    <associate|auto-61|<tuple|4.3.2|43>>
    <associate|auto-62|<tuple|4.3.3|43>>
    <associate|auto-63|<tuple|4.3.3.1|44>>
    <associate|auto-64|<tuple|4.3.4|44>>
    <associate|auto-65|<tuple|4.3.5|44>>
    <associate|auto-66|<tuple|4.3.6|45>>
    <associate|auto-67|<tuple|4.3.7|45>>
    <associate|auto-68|<tuple|4.3.8|45>>
    <associate|auto-69|<tuple|4.3.9|45>>
    <associate|auto-7|<tuple|1.5|10>>
    <associate|auto-70|<tuple|4.3.10|47>>
    <associate|auto-71|<tuple|4.3.11|48>>
    <associate|auto-72|<tuple|4.3.11.1|48>>
    <associate|auto-73|<tuple|4.3.12|48>>
    <associate|auto-74|<tuple|4.3.13|49>>
    <associate|auto-75|<tuple|4.3.13.1|49>>
    <associate|auto-76|<tuple|4.3.14|51>>
    <associate|auto-77|<tuple|4.3.15|51>>
    <associate|auto-78|<tuple|4.3.16|52>>
    <associate|auto-79|<tuple|4.3.17|53>>
    <associate|auto-8|<tuple|1.6|11>>
    <associate|auto-80|<tuple|4.3.18|54>>
    <associate|auto-81|<tuple|4.3.19|54>>
    <associate|auto-82|<tuple|4.3.20|55>>
    <associate|auto-83|<tuple|4.4|56>>
    <associate|auto-84|<tuple|4.4.1|61>>
    <associate|auto-85|<tuple|4.4.2|62>>
    <associate|auto-86|<tuple|4.5|62>>
    <associate|auto-87|<tuple|4.1|62>>
    <associate|auto-88|<tuple|4.5.1|63>>
    <associate|auto-89|<tuple|4.6|64>>
    <associate|auto-9|<tuple|1.7|11>>
    <associate|auto-90|<tuple|4.6.1|64>>
    <associate|auto-91|<tuple|4.6.2|65>>
    <associate|auto-92|<tuple|4.6.3|66>>
    <associate|auto-93|<tuple|5|67>>
    <associate|auto-94|<tuple|5.1|67>>
    <associate|auto-95|<tuple|5.2|68>>
    <associate|auto-96|<tuple|5.2.1|69>>
    <associate|auto-97|<tuple|5.3|69>>
    <associate|auto-98|<tuple|5.4|72>>
    <associate|auto-99|<tuple|5.5|73>>
    <associate|base-intrs-lem|<tuple|7.4|100>>
    <associate|bib-ADTCGSBVA|<tuple|19|119>>
    <associate|bib-center-complete|<tuple|13|119>>
    <associate|bib-center-inf-distr|<tuple|12|119>>
    <associate|bib-compl-prox-acad|<tuple|26|119>>
    <associate|bib-compl-prox1|<tuple|28|119>>
    <associate|bib-compl-prox2|<tuple|29|119>>
    <associate|bib-compl-unif-prox|<tuple|27|119>>
    <associate|bib-complete-prox|<tuple|17|119>>
    <associate|bib-eq-prox-totbound-unif|<tuple|1|119>>
    <associate|bib-filters|<tuple|24|119>>
    <associate|bib-funcoidsreloids|<tuple|23|?>>
    <associate|bib-galois-and-fixed|<tuple|3|119>>
    <associate|bib-gen-prox-uni1|<tuple|10|119>>
    <associate|bib-gen-prox-uni2|<tuple|11|119>>
    <associate|bib-geom-prox|<tuple|8|119>>
    <associate|bib-mapping-prox|<tuple|7|119>>
    <associate|bib-mw-gen-top|<tuple|30|119>>
    <associate|bib-neutralelements|<tuple|5|119>>
    <associate|bib-on-proximity-spaces|<tuple|25|119>>
    <associate|bib-pm:complete-lattice-criteria|<tuple|22|119>>
    <associate|bib-pm:ultrafilters-number|<tuple|23|119>>
    <associate|bib-primefilters|<tuple|6|119>>
    <associate|bib-primeidealsandfilters|<tuple|4|119>>
    <associate|bib-primer-galois|<tuple|9|119>>
    <associate|bib-prox-gen-unif|<tuple|2|119>>
    <associate|bib-prox-not-compl|<tuple|18|119>>
    <associate|bib-quasi-unif-top|<tuple|21|119>>
    <associate|bib-qunif|<tuple|15|119>>
    <associate|bib-qunif2001|<tuple|16|119>>
    <associate|bib-some-props-prox-genunif|<tuple|20|119>>
    <associate|bib-stone-spaces|<tuple|14|119>>
    <associate|bib-wiki:bool-canon|<tuple|31|119>>
    <associate|bib-wiki:distributive-lattice|<tuple|32|119>>
    <associate|bib-wiki:limit-ordinal|<tuple|33|119>>
    <associate|bool-compl|<tuple|4.43|36>>
    <associate|bool-minus|<tuple|4.110|48>>
    <associate|brow-crit|<tuple|2.71|20>>
    <associate|centr-bool|<tuple|2.40|16>>
    <associate|cfcd:f-filt|<tuple|4|82>>
    <associate|cfcd:f-set|<tuple|5|82>>
    <associate|cfcd:main|<tuple|1|82>>
    <associate|cfcd:r-filt|<tuple|2|82>>
    <associate|cfcd:r-set|<tuple|3|82>>
    <associate|cfcd:sing|<tuple|6|82>>
    <associate|chap-common|<tuple|2|13>>
    <associate|chap-filt|<tuple|33|33>>
    <associate|closed-free-star|<tuple|4.139|52>>
    <associate|cobrow-adj|<tuple|2.66|19>>
    <associate|cocompl-cor|<tuple|4.60|40>>
    <associate|compl-and-cor|<tuple|4.62|40>>
    <associate|compl-as-join|<tuple|5.10|84>>
    <associate|compl-eq-dual|<tuple|4.142|54>>
    <associate|compl-in-core|<tuple|4.64|41>>
    <associate|compl-join|<tuple|4.70|42>>
    <associate|compl-meet|<tuple|4.145|?>>
    <associate|cont-fcd-on-atoms|<tuple|5.58|76>>
    <associate|cor-atoms|<tuple|4.141|54>>
    <associate|cor-eq|<tuple|4.34|35>>
    <associate|cor-in-down|<tuple|4.30|35>>
    <associate|cor-join|<tuple|4.147|54>>
    <associate|cor-join-atom|<tuple|4.67|41>>
    <associate|cor-less|<tuple|4.29|35>>
    <associate|cor-max-down|<tuple|4.35|35>>
    <associate|cor-meet|<tuple|4.146|54>>
    <associate|core-if-intr|<tuple|4.140|53>>
    <associate|cosep-crit|<tuple|4.94|45>>
    <associate|crit1|<tuple|4.53|38>>
    <associate|d-f-join|<tuple|4.126|50>>
    <associate|d-inj|<tuple|4.122|49>>
    <associate|d-straigth|<tuple|4.125|50>>
    <associate|da-is-free-star|<tuple|4.119|49>>
    <associate|dcor-eq-cor|<tuple|4.169|57>>
    <associate|dist-princ|<tuple|4.70|?>>
    <associate|dual-compl-pseudo|<tuple|4.65|41>>
    <associate|dual-cor-meet|<tuple|4.68|42>>
    <associate|dual-core-join|<tuple|4.69|42>>
    <associate|embed-lemma|<tuple|4.100|45>>
    <associate|eqrel-princ|<tuple|4.153|55>>
    <associate|f-atom-sep|<tuple|4.131|51>>
    <associate|f-back-distr|<tuple|4.112|48>>
    <associate|f-char-delt|<tuple|5.3|71>>
    <associate|f-char-delt-c|<tuple|5.4|71>>
    <associate|f-compl-join|<tuple|4.149|55>>
    <associate|f-compl-meet|<tuple|4.148|54>>
    <associate|f-cor-eq|<tuple|4.96|45>>
    <associate|f-cor-less-a|<tuple|4.97|45>>
    <associate|f-cor-max|<tuple|4.98|45>>
    <associate|f-dual-preud|<tuple|4.144|54>>
    <associate|f-fin-filt-meet|<tuple|4.106|47>>
    <associate|f-inf-assc|<tuple|4.107|47>>
    <associate|f-inf-meet-form|<tuple|4.105|46>>
    <associate|f-intrs-and-compl|<tuple|4.99|45>>
    <associate|f-join-closed|<tuple|4.91|44>>
    <associate|f-join-form|<tuple|4.101|46>>
    <associate|f-meet-closed|<tuple|4.92|44>>
    <associate|f-ord-by-d|<tuple|4.124|50>>
    <associate|f-prime-crit|<tuple|4.136|51>>
    <associate|f-simpl-star-dual|<tuple|4.121|49>>
    <associate|f-star-dual|<tuple|4.120|49>>
    <associate|factor-isomor|<tuple|4.156|55>>
    <associate|fcd-as-cont|<tuple|5.25|70>>
    <associate|fcd-atom-middle|<tuple|5.39|74>>
    <associate|fcd-filtered|<tuple|5.93|83>>
    <associate|fcd-intrs-atom|<tuple|5.59|77>>
    <associate|fcd-join-compl|<tuple|5.91|83>>
    <associate|fcd-join-sets|<tuple|5.34|73>>
    <associate|fchar-alph|<tuple|5.1|70>>
    <associate|fchar-alph-c|<tuple|5.2|70>>
    <associate|ff-atomic|<tuple|4.195|59>>
    <associate|ff-cor-meet-join|<tuple|4.211|60>>
    <associate|ff-princ-crit|<tuple|4.203|60>>
    <associate|filt-aligned|<tuple|4.95|45>>
    <associate|filt-also-distr|<tuple|4.108|47>>
    <associate|filt-atomic|<tuple|4.128|51>>
    <associate|filt-atomistic|<tuple|4.130|51>>
    <associate|filt-eq-char|<tuple|4.77|43>>
    <associate|filt-is-complete|<tuple|4.102|46>>
    <associate|filt-is-sep|<tuple|4.129|51>>
    <associate|filt-princ-crit|<tuple|4.137|52>>
    <associate|footnote-|<tuple|?|2>>
    <associate|footnote-4.1|<tuple|4.1|?>>
    <associate|footnote-9.1|<tuple|9.1|111>>
    <associate|footnr-4.1|<tuple|4.1|?>>
    <associate|footnr-9.1|<tuple|9.1|111>>
    <associate|frac-is-bool|<tuple|4.157|56>>
    <associate|free-star-ex|<tuple|4.123|50>>
    <associate|fstar-eq|<tuple|3.25|26>>
    <associate|galois-second|<tuple|2.51|17>>
    <associate|genbase-corr|<tuple|4.116|48>>
    <associate|genbase-f-closed|<tuple|4.117|48>>
    <associate|genbase-main|<tuple|4.115|48>>
    <associate|min-fcd-join|<tuple|5.5|73>>
    <associate|mnv-atom|<tuple|2|87>>
    <associate|mnv-dfn|<tuple|1|87>>
    <associate|mnv-flt|<tuple|3|87>>
    <associate|mnv-set|<tuple|4|87>>
    <associate|msl-sep-conds|<tuple|3.14|24>>
    <associate|part-is-free|<tuple|4.47|37>>
    <associate|pow-filt-central|<tuple|4.132|51>>
    <associate|prim-filtered|<tuple|4.90|44>>
    <associate|princ-sec-crit|<tuple|4.138|52>>
    <associate|rel-cross|<tuple|3.62|31>>
    <associate|rld-compl-cond|<tuple|6.1|95>>
    <associate|rld-prod-t-atoms|<tuple|6.19|91>>
    <associate|sec-prox|<tuple|2.5|21>>
    <associate|sec-top|<tuple|2.3|21>>
    <associate|semifilt-joinclosed|<tuple|4.25|35>>
    <associate|sep-conds|<tuple|3.21|25>>
    <associate|supfun-genbase|<tuple|5.29|72>>
    <associate|sym-trans|<tuple|3.47|29>>
    <associate|up-eq-corestar|<tuple|4.50|37>>
    <associate|up-eq-d|<tuple|4.134|51>>
    <associate|up-filt-crit|<tuple|4.44|36>>
    <associate|when-sep-core|<tuple|4.93|44>>
  </collection>
</references>

<\auxiliary>
  <\collection>
    <\associate|toc>
      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|1<space|2spc>Counter-examples
      about funcoids and reloids> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
      <no-break><pageref|auto-1><vspace|0.5fn>
    </associate>
  </collection>
</auxiliary>