Formalmente, definimos un "marco" como un reticulado "L" en el cual cada subconjunto (aún infinito) {"a"} tiene un supremo V"a" tal que (distribución completa)