Sets of Positive Operators with Suprema

From MaRDI portal