Непустое множество $X$ называют группой, если выполнены следующие четыре условия (аксиомы):
На множестве $X$ задан закон композиции -- бинарная операция $*$ :
Для любых двух $a,b\in X$, взятых в определённом порядке, однозначно определено их произведение $a*b$, также принадлежащее $X$ (будем для определённости называть произведением результат бинарной операции $*$)
Произведение братьев Стругацких "Отель "У Погибшего Альпиниста" помимо книги есть в виде замечательного аудио-спектакля в частности на рутрекере. Очень всем рекомендую.
Если каждое бесконечно подмножества пространства имеет предельную точку, то оно сепарабельно
то есть если имеется возможность из каждой последовательности выделить предельную (сходящуюся?) подпоследовательность, которая будет сходится к данной точке.