for L being non empty up-complete Poset
for S being non empty full SubRelStr of L holds supMap S is monotone