bicompleteness completability completeness compleatness precompleteness completedness incompletability incompletableness uncompleteness cocompactness