| context | $V,E$ … set |
| context | $k\in\mathbb N$ |
| definiendum | $\langle V,E,\psi\rangle \in \mathrm{it} $ |
| inclusion | $\langle V,E,\psi\rangle $ … cycle |
| postulate | $ |\ E\ |=k $ |
The first few k-cycles are called as follows:
point/henagon, line/edge/digon, triangle/trigon, sqare/tetragon/quadrilateral, pentagon, hexagon,…
Wikipedia: Naming polygons