A non-total mapping cannot guarantee that the cardinality of extensions meets or exceeds the cardina...