はんたいしょうりつ【反対称律】 集合の元（げん）a，bについて，関係 R があるとき，_aR_bかつ_bR_aであればa＝bであること。