Two discrete functional analysis tools are established for spaces of piecewise polynomial functions on general meshes: (i) a discrete counterpart of the continuous Sobolev embeddings, in both ...