Definition:Relation Strongly Compatible with Operation/Linguistic Note