Ordering property for unary functions

From MaRDI portal
Publication:721049