for V being SetValuation
for P being Permutation of V holds Perm (P,VERUM) = id (SetVal (V,VERUM))