Квазинормированное пространство

Линейное пространство E называется квазинормированным, если на нем определена функция ||·||, обладающая следующими свойствами:
1) ||x|| ≥ 0 и ||x|| = 0 тогда и только тогда, когда x = 0,
2) ||x + y|| ≤ ||x|| + ||y||,
3) ||-x|| = ||x||, lim_αn→0||α_nx|| = 0, lim_||xn||→0||α_nx|| = 0.