En notación conjuntista: supongamos el conjunto A: