Una proposición "Rab" es la imagen de un hecho "Rab" si todos los componentes de la proposición tienen un correlato en el hecho.