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