as you now for sets there are
- a set membership operator, ∈
- a set builder notation { | } (usage example: {n ∈ N | n^2 < 20})

see e.g. Table of mathematical symbols - Wikipedia, the free encyclopedia

which are the correspondent operators to use for sequences (Sequence - Wikipedia, the free encyclopedia)?
I need a sequence membership operator and a sequence builder notation.

Thanks,
Mauro