for a being set holds 1TopSp {a} is compact ;