for L being non empty reflexive transitive RelStr
for S being non empty full SubRelStr of L holds idsMap S is monotone