for Z being set holds {} is Sequence of Z