User:Dfeuer/Intersection of Relations Compatible with Operation is Compatible