In approach theory, we can provide arbitrary products of ${infty}p$-metric spaces with a natural structure, whereas, classically only if we rely on a countable product and the question arises, then, whether properties which are derived from countability properties in metric spaces, such as sequential and countable compactness, can also do away with countability. The classical results which simplify the study of compactness in pseudometric spaces, which proves that all three of the main kinds of compactness are identical, suggest a further study of the category $pMET^{infty}$.