z = magnitude PThe magnitude of $P$ is the sum over all relations $v \leq w$ of the Möbius number $\mu(v,w)$.
This integer is multiplicative for Cartesian product of posets, and additive for disjoint union.
|
|
The object magnitude is a method function.
The source of this document is in Posets.m2:5440:0.