Дискретная математика
Предикатная формула 
на предметной области натуральных чисел 
представляет собой
на предметной области натуральных чисел представляет собойодноместный предикат
истинное высказывание
ложное высказывание
линейное уравнение
Если отношение задано неравенством: 
, то данному отношению принадлежит следующая пара чисел
, то данному отношению принадлежит следующая пара чисел
Заданы множества 
и 
. Верным для них будет утверждение
и . Верным для них будет утверждение«Множества С и В не имеют общих элементов»
«Множество С есть подмножество множества В»
«Множество В есть подмножество множества С»
«Множества В и С равны»
, то
На координатной плоскости изображено декартово произведение А×В множеств (отрезков) А = [2, 6] и B = [1, 4]. 
А - множество действительных чисел, В - множество целых чисел
A - множество целых чисел, В - множество действительных чисел
A и В – множества действительных чисел
А и B – множества целых чисел