A note on the extension of a binary relation on a set to the power set

From MaRDI portal
Publication:1925676