Results

**1 - 1**of**1**### Elementary Order Theory

"... We review ordered sets. An order, or “comparison”, can be used to generate equivalences. We discuss inductively, and coinductively defined sets. Such sets arise naturally when defining, and reasoning about, programs and processes. We define proof principles for such sets. We use the principle of coi ..."

Abstract
- Add to MetaCart

We review ordered sets. An order, or “comparison”, can be used to generate equivalences. We discuss inductively, and coinductively defined sets. Such sets arise naturally when defining, and reasoning about, programs and processes. We define proof principles for such sets. We use the principle of coinduction to validate equivalences, and discuss when this is possible.