Thus B is a Borel subgroup when the homogeneous space G/B is a complete variety which is "as large as possible".
Таким образом, B является борелевской подгруппой, когда однородное пространство G/B является полным многообразием, которое является «как можно большим».