The (naked) version of Sperner lemma

Several versions of the Sperner lemma are established. They are called naked because they hold for any type of object, not necessarily of geometrical nature, provided that the families of objects are stable with regard to some combinatorial operations. The existence proofs are constructive. The results apply in particular to geometry (outside the initial simplicial model) and a problem of economic theory.