yǒu xiàn qún

  1. finite group (math.)