A property related to completeness.

From MaRDI portal
Publication:575767