for X being set holds Tarski-Class (X,{}) = {X} by Lm1;