theorem Th62: :: WAYBEL23:62

for L being non empty up-complete Poset
for S being non empty full SubRelStr of L holds supMap S = (SupMap L) * (idsMap S)