Definition:Relation Conversely Compatible with Operation/Linguistic Note