Teorema (básico): Sea "S" un conjunto.