O'Reilly logo

Asynchronous Circuit Design by Chris J. Myers

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Appendix B

Sets and Relations

Your theory is crazy, but it's not crazy enough to be true.

—Niels Bohr, to a young physicist

First things first, but not necessarily in that order.

—Doctor Who

What we imagine is order is merely the prevailing form of chaos.

—Kerry Thornley, Principia Discordia, 5th edition

The art of progress is to preserve order amid change.

—A. N. Whitehead

Confusion is a word we have invented for an order which is not understood.

—Henry Miller (1891 – 1980)

Not till we are lost, in other words, not till we have lost the world, do we begin to find ourselves, and realize the infinite extent of our relations.

—Henry David Thoreau (1817 – 1862)

Throughout the book we have assumed a basic knowledge of set theory. This appendix provides a brief review of some of the basic concepts of set theory used in this book.

B.1 BASIC SET THEORY

A set S is any collection of objects that can be distinguished. Each object x which is in S is called a member of S (denoted xS). When an object x is not a member of S, it is denoted by xS. A set is determined by its members. Therefore, two sets X and Y are equal when they consist of the same members (denoted X = Y). This means that if X = Y and aX, then aY. This is known as the principle of extension. If two sets are not equal, it is denoted XY. There are three basic properties of equality:

  1. X = X (reflexive)
  2. X = Y implies Y = X (symmetric)
  3. X = Y and Y = Z then X = Z (transitive)

Example B.1.1 The set {1, 2, 3, 5, 6, 10, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required