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