A Vertex is a Topological_object that has zero dimensionality and extent.
EXPRESS specification:
*) ENTITY Vertex SUBTYPE OF (Topological_object); END_ENTITY; (*