Relación de pertenencia, teoría de conjuntos, aritmética