Se denota como , es decir: pero (y equivalentemente, para un superconjunto propio, ).