ΑÞ ß — означает «из предложения α следует предложение ß»;
ΑÛ ß — «предложения α и ß равносильны», т. е. из α следует ß и из ß следует α;
" — означает «для любого», «для всякого»;
$ — «существует», «найдется»;
: — «имеет место», «такое что»;
® — «соответствие».
Например:
1) запись " xÎ А:α означает: «для всякого элемента хÎ А имеет место предложение α»;
2) (х єA U В) <==> (х є А или х є В); эта запись определяет объединение множеств А и В.
13.2. Числовые множества. Множество действительных чисел
Множества, элементами которых являются числа, называются числовыми. Примерами числовых множеств являются:
N=