Injective choice functions for countable families

Abstract This paper proves a necessary and sufficient condition for an arbitrary countable family of sets to have an injective choice function. Some applications are indicated.