Now you are in the subtree of Математический анализ project. 

2.1 Расширенная числовая прямая и её свойства