lower-bound

public under number 42

List Picture As a command

• infimum