Hausdorff's theorem for posets that satisfy the finite antichain property

Hausdorff characterized the class of scattered linear orderings as the least family of linear orderings that includes the ordinals and is closed under ordinal summations and inversions. We formulate and prove a corresponding characterization of the class of scattered partial orderings that satisfy the finite antichain condition (FAC). Consider the least class of partial orderings containing the class of well-founded orderings that satisfy the FAC and is closed under the following operations: (1) inversion, (2) lexicographic sum, and (3) augmentation (where [P,less than or equal to] augments [P, less than or equal to] iff x less than or equal to y whenever x less than or equal to y). We show that this closure consists of all scattered posets satisfying the finite antichain condition. Our investigation also sheds some light on the natural (Hessenberg) sum of ordinals and the related product and exponentiation operations.