单点紧化
_
one-point compactification, одноточечное компактное расширение
одноточечное компактное расширение; одноточечная компактификация
пословный:
单点 | 紧化 | ||
1) одна точка, простая точка; точечный (напр., о сварке)
2) по заказу, порционный (о блюдах, в отличие от сетового меню); а-ля карт
|