Dicho un poco toscamente: Es el orden en que quedan los atributos de una relación (y que son determinantes de dependencias funcionales), según el análisis iterativo de las dependencias funcionales declaradas y que las abarca a todas.
¿Se comprende la idea?
Aquí tienes un link a un documento en GoogleDocs que está bastante bien claro:
Axiomas de Armsrtong y Cierre de dependencias.