:: deftheorem defines FlatConF POSET_2:def 6 :
for X, Y being non empty set holds FlatConF (X,Y) = ConPoset ((FlatPoset X),(FlatPoset Y));