escrito en notación teorética de conjuntos,