supremum public under concept 1247, upper-bound 1 List Picture As a command %3 n0 supremum n1 concept n1->n0 n2 upper-bound n2->n0