Semicontinuous extension of a partial order

From MaRDI portal
Publication:1225551