Además, por un argumento similar, la ley distributiva infinita siguiente se sostiene en cualquier álgebra completa de Heyting: