alpha-finite

α有限