Total Order
A total order satisfies the conditions for a Partial Order plus the comparability condition. A Relation
is a partial order on a Set 
if
- 1. Reflexivity:
for all 
- 2. Antisymmetry:
and 
implies 
- 3. Transitivity: and
implies 
,
- 4. Comparability: For any
, either or .
- Gyrobicupola
- Gyrobifastigium
- Gyrobirotunda
- Gyrocupolarotunda
- Gyroelongated Cupola
- Gyroelongated Dipyramid
- Gyroelongated Pentagonal Bicupola
- Gyroelongated Pentagonal Birotunda
- Gyroelongated Pentagonal Cupola
- Gyroelongated Pentagonal Cupolarotunda
- Gyroelongated Pentagonal Pyramid
- Gyroelongated Pentagonal Rotunda
- Gyroelongated Pyramid
- Gyroelongated Rotunda
- Gyroelongated Square Bicupola
- Gyroelongated Square Cupola
- Gyroelongated Square Dipyramid
- Gyroelongated Square Pyramid
- Gyroelongated Triangular Bicupola
- Gyroelongated Triangular Cupola
- Gårding's Inequality
- Göbel's Sequence
- Gödel Number
- Gödel's Completeness Theorem
- Gödel's Incompleteness Theorem