for X being set holds not X, bool X are_equipotent