I have a set of nonzero vectors in , where for each vector, its nonzero elements have the same magnitude. For example, when , and are in this set, while and are not.
The formal notation I came up for it is
but I'm not sure if the "for some k" part is correct. Should it be "for all k" instead?