- O conjunto vazio está contido em qualquer conjunto Sk e no conjunto M, portanto Sk inter inter M inter vazio = vazio;
- Se w é um elemento de Sk, então w goza da propriedade Pk;
- Se w é um elemento de M, então w goza da propriedade Pm;
- Se w sofrer alguma mudança, tal que, w deixe de gozar da propriedade Pk de Sk, então, w passa a pertencer a M gozando da propriedade Pm, onde m(Ei, Pk) faz com que o elemento Ei passe a gozar da propriedade Pk;
- N(Sk) revela quantos elementos o conjunto Sk tem;
Para k = 1 até n - 1 faça
num = N(Sk);
Para i = 1 até num
m(Ei, Pk+1);
Sk = v;
m(Sn, p1);
Sn = v;
num = N(M);
per = false;
para i = 1 até num faça
para k = 1 até n faça
per = Per(Ei, Sk);
per sempre será false, pois qualquer elemento de M não pertence mais a qualquer conjunto de U. Para conjuntos de elemento multáveis é necessário definir uma idéia diferente de conjunto vazio. FALTA DEFINIR.
Nenhum comentário:
Postar um comentário