Abstract: | The main purpose of the present article is to prove the discrete compactness property for Arnold‐Boffi‐Falk spaces of any order. Results of numerical experiments confirming the theory are also reported. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005 |