User:Dfeuer/Definition:Relation Inverse Compatible with Operation