Injective choice functions for countable families
scientific article; zbMATH DE number 3556081