for C being non empty Poset
for x being Element of C holds {x} in symplexes C