Formally, an abstract polytope is defined to be "regular" if its automorphism group acts transitively on the set of its flags.
Формально, абстрактный многогранник определяется как «правильный», если его группа автоморфизмов действует транзитивно на множество его флагов.