Symbol Glossary

Each symbol or expression is listed with a short definition and the page number where it first occurs. The list is ordered by page number.

d | n d divides n with no remainder  6
x ∈ S x is an element of S  19
x ∉ S x is not an element of S  19
ellipsis  19
the empty set  19
N natural numbers  20
Z integers  20
Q rational numbers  21
R real numbers  21
{x | P} set of all x satisfying property P  21
AB A is a subset of B  21
AB A is a proper subset of B  21
AB A union B  24
AB A intersection B  25
AB difference: elements in A but not B   27
AB symmetric difference: (AB) ∪ (BA)  27
A′ complement of A  28
|A| cardinality of A  30
[a, b, b, a] bag, or multiset, of four ...

Get Discrete Structures, Logic, and Computability, 4th Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.