ある型がlessthancomparableであるためには、正にcodice_40という演算ができなければならない(x3014 20.1.2)と定められているのである。