Podemos reescribir "Todo A está en B", como