Группа для тех, кто знает, что такое универсум и булеан, чем супремум отличается от инфимума, и что верить в аксиому выбора надо пока тебя не заставили с ее помощью что-то доказывать! Математики, вам сюда!