User:Dfeuer/Inverse of Relation Compatible with Operation is Compatible