どうちりつ【同値律】 反射律・対称律・推移律の総称。