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