多対一同値
$ \equiv_m
は
同値関係
である
定義
$ \alpha\le_m\beta
かつ
$ \beta\le_m\alpha
であることを、
$ \alpha\equiv_m\beta
と書く
ref
多対一還元