User:Dfeuer/Definition:Relation Strongly Compatible with Operation