Folding (Dynkin diagram)