SapelkinA. I., “$P$-Faithful Partially Ordered Sets”, Ukr. Mat. Zhurn., vol. 54, no. 10, pp. 1381-1395, Oct. 2002.