Talk:Chain-complete partial order

Merge proposal
I propose to merge this article with Complete partial order. As this article points out, the notions of directed-complete partial order and chain-complete partial order are equivalent. Jean Abou Samra (talk) 10:06, 6 January 2024 (UTC)


 * CC Jean Abou Samra (talk) 10:16, 6 January 2024 (UTC)
 * Since there were no responses I'm going to be bold and do it. Feel free to revert if this is not right. Jean Abou Samra (talk) 22:06, 13 January 2024 (UTC)

Merge result
(Let me hope I'm doing this right.) Jean Abou Samra (talk) 22:27, 13 January 2024 (UTC)