Incidence Algebras

We begin with the basic concepts needed to define the incidence algebra. We remind the reader that a relation ~ is antisymmetric if whenever a ~ b and b ~ a, then a = b.