for DP being non empty discrete Poset st ex a, b being Element of DP st a <> b holds
DP is disconnected