User talk:Dfeuer/Union of Relations Compatible with Operation is Compatible