A coalgebra with a partially ordered set as basis is pointed and cocommutative.

• 摘要证明了以偏序集为基的一个余代数是有点的且是余交换的。