monotone-function

public under function 108

List Picture As a command

• closure-operator
• order-embedding
• order-isomorphism