Inclusión necesaria