Tal subconjunto a menudo se denomina conjunto de datos inicial simétrico en el tiempo para un espacio-tiempo.
Esta desigualdad fue probada por primera vez por Gerhard Huisken y Tom Ilmanen en 1997 en el caso en que A es el área del componente más grande de la superficie mínima más externa.
El argumento físico original que llevó a Penrose a conjeturar tal desigualdad invocó el teorema del área de Hawking y la hipótesis de la censura cósmica.
De manera más general, Penrose conjeturó que una desigualdad como la anterior debería ser válida para subvariedades espaciales de espacios-tiempo que no son necesariamente simétricos en el tiempo.
Probar tal desigualdad sigue siendo un problema abierto en la relatividad general, llamada conjetura de Penrose.