Given a partially ordered set and a set , the pointwise order on the function space of functions compares their values at every argument. It is a partial order: reflexivity and transitivity hold at every argument, and antisymmetry follows because two functions equal at every argument are equal. Even if has a total order, this function space need not: the two functions on with values and are incomparable when .
Articles by others on the same topic
There are currently no matching articles.