× 推移関係 ○ 推移的関係
「厳密で弱い順序付け (strict weak ordering) 」の初出をかぎ括弧でくくる

以降で定義する用語であることを示します。