<div class="chatlog__message-group">
  <div id="chatlog__message-container-407129537789296640" class="chatlog__message-container" data-message-id="407129537789296640">
    <div class="chatlog__message">
      <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/370406638915420161/a90e18d5a48a5bebd4720db2fadea512.png?size=512" alt="Avatar" loading="lazy"></div>
      <div class="chatlog__message-primary">
        <div class="chatlog__header"><span class="chatlog__author" title="taketo1024" data-user-id="370406638915420161">Taketo Sano</span> <a href="/channels/400483073743126558?category=archived&amp;channel=math&amp;message_id=407131254010544128"><span class="chatlog__timestamp" title="Sunday, January 28, 2018 11:07 AM"></span></a><a href="#chatlog__message-container-407129537789296640">1/28/2018 11:07 AM</a></div>
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">とても考えやすい「小さな圏」に半順序集合があります<img loading="lazy" class="chatlog__emoji " alt="👍" title="thumbsup" src="https://cdn.jsdelivr.net/gh/twitter/twemoji@latest/assets/svg/1f44d.svg"> a ≦ b のとき射 a → b があるということにします。</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-407129849442861062" class="chatlog__message-container" data-message-id="407129849442861062">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Sunday, January 28, 2018 11:08 AM">11:08 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">半順序というのは、必ずしも全ての要素同士が比較可能でない順序のことを言います。例えば「集合の集合」は包含関係について半順序集合になります。あとは整数全体は「a が b を割り切る」という関係で半順序集合になります。</span> <span class="chatlog__edited-timestamp" title="Sunday, January 28, 2018 11:57 AM">(edited)</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-407130196882358274" class="chatlog__message-container" data-message-id="407130196882358274">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Sunday, January 28, 2018 11:10 AM">11:10 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">圏は有向グラフのようなものだと思うと想像しやすいと思います。頂点にあたるのが「対象」で、辺が「射」です。</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-407131254010544128" class="chatlog__message-container" data-message-id="407131254010544128">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Sunday, January 28, 2018 11:14 AM">11:14 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">そうなんですよね！ &gt; Equatable</span> <span class="chatlog__edited-timestamp" title="Sunday, January 28, 2018 11:37 AM">(edited)</span></div>
      </div>
    </div>
  </div>
</div>