数学では一般には、同値関係であるというとき、反射律、対象律、推移律を見たすものを、言いますね。 (edited)