Extensive Definition/Examples/Regular Convex Polyhedra

From ProofWiki
Jump to navigation Jump to search

Examples of Extensive Definitions

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

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


Sources