扩充实数集
_
extended reals
extended reals
пословный:
扩充 | 充实 | 实数集 | |
увеличивать, расширять, распространять, усиливать, дополнять; распространенный, расширенный, увеличенный
|
1) плотный, богатый; содержательный (о произведении); оформленный надлежаще
2) наполнять содержанием; укреплять, усиливать
3) биол. тургор
|