Transfer condition operator preserves intersection-closedness

From Groupprops