Termwise operations on Sequences

Let be sequences then new sequences can defined termwise e.g.

If for all then we can also define