Estas condiciones son formalizadas en las siguientes teorías: