std::experimental::ranges:: StrictWeakOrder

概念 StrictWeakOrder<R, T, U> は、 Relation R がその引数に厳密弱順序を課すことを規定します。関係 r が厳密弱順序であるとは、以下の条件を満たす場合です。

• これは非反射的である：すべての x について、 r(x, x) は偽である；
• これは推移的である：すべての a 、 b および c について、 r(a, b) と r(b, c) がともに真であれば、 r(a, c) は真である；
• e(a, b) を !r(a, b) && !r(b, a) と定義すると、 e は推移的である： e(a, b) && e(b, c) は e(a, c) を意味する。

これらの条件下では、 e が同値関係であることが示され、 r が e によって決定される同値類上に厳密な全順序を誘導することが示されます。

注記

Relation と StrictWeakOrder の区別は純粋に意味論的なものです。