Se sigue por inducción matemática que para todo subconjunto finito no vacío de un retículo existen un supremo y un ínfimo.