<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>Cryolite</author_name>
  <author_url>https://blog.hatena.ne.jp/Cryolite/</author_url>
  <blog_title>Cry's Blog</blog_title>
  <blog_url>https://blog.cryolite.net/</blog_url>
  <categories>
    <anon>C++</anon>
    <anon>STL</anon>
    <anon>数学</anon>
  </categories>
  <description>さて，ようやく自分の疑問の核心部にたどり着きました． 厳密で弱い順序が何故STLにおいてここまで重要視されているのか，多くの書籍は「数学的な詳細には立ち入らない」としてこの部分の議論を避けているので，ここではあえてそれに踏み入ってみます． 厳密で弱い順序で私が一番疑問に思っていたのが最後の条件です． equivalenceに対する推移性：xとyがequivalentでありyとzもequivalentであるとき，xとzもequivalentである この条件はいったい何なのか？何のために必要なのか？ということが非常に疑問だったのです． これは，逆に言えばこの条件を外すとどうなるのか？ということにも…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.cryolite.net%2Fentry%2F20040529%2Fp4&quot; title=&quot;何故，厳密で弱い順序が重要なのか？ - Cry&amp;#39;s Blog&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url></image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2004-05-29 00:00:03</published>
  <title>何故，厳密で弱い順序が重要なのか？</title>
  <type>rich</type>
  <url>https://blog.cryolite.net/entry/20040529/p4</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
