User:Dfeuer/Complement of Relation Compatible with Group is Compatible