The so-called 0 pseudonorm on the Euclidean space R d counts the number of nonzero components of a vector. In this paper, we analyze the l 0 pseudonorm by means of so-called capra conjugacies, for which the underlying source norm and its dual norm are both orthant-strictly monotonic (a notion that we formally introduce and that encompasses the p norms, but for the extreme ones). We obtain three main results. First, we show that the 0 pseudonorm is equal to its capra-biconjugate, that is, is a capra-convex function. Second, we deduce an unexpected consequence, that we call convex factorization: the 0 pseudonorm coincides, on the unit sphere of the source norm, with a proper convex lower semicontinuous function. Third, we establish variational formulations for the 0 pseudonorm by means of generalized top-k dual norms and k-support dual norms (that we formally introduce).