Запис просторів в Цілі відбувається так:
простір арифметика { дія додати(ціле, ціле) -> ціле; дія відняти(ціле, ціле) -> ціле; }
Доступ до субʼєктів простору відбувається через знак :::
арифметика::додати(2, 2);
Обмежень на глибину вкладених просторів немає:
простір а { простір б { простір в { // ... } } } а::б::в::...
Простори можна доповнювати:
простір арифметика { дія додати(ціле, ціле) -> ціле; дія відняти(ціле, ціле) -> ціле; } простір арифметика { дія помножити(ціле, ціле) -> ціле; дія поділити(ціле, ціле) -> ціле; } арифметика::поділити(10, 2);