Text this: Finite partially ordered set and some of its properties