Dimension (order)/Definition

This article contains just a definition and optionally other subpages (such as a list of related articles), but no metadata. Create the metadata page if you want to expand this into a full article.

Dimension (order) [r]: For an element of an ordered set with 0, the length of a longest maximal chain from 0 to that element.