Connectedness of the theory of non-surjective injections Stanisław Świerczkowski (1995) Fundamenta Mathematicae