Sapelkin, A. I. $P$-Faithful Partially Ordered Sets. Ukr. Mat. Zhurn. 2002, 54 (10), 1381-1395.