Este conjunto de principios y condiciones de buena formación es lo que se conoce como "teoría del caso abstracto".