Extensive Definition/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Extensive Definitions

Regular Convex Polyhedra

An extensive definition for the set of regular convex polyhedra is:

$\set {\text {tetrahedron}, \text {cube}, \text {octahedron}, \text {dodecahedron}, \text {icosahedron} }$