Dimension (order)/Definition

For an element of an ordered set with 0, the length of a longest maximal chain from 0 to that element.