baby Chinese cabbage; wawasai cabbage; variety of small Chinese cabbage
bok choy (esp. cultivars with white stalks); pak choi