Multiplicity undefined for Extend operator

[hartig]

The definition of the algebra operator Extend does not define the multiplicity of solution mappings in the result.

[hartig]

The definition of Slice has the same issue.

[kasei]

Isn't Slice different, since it operates on and produces a sequence?

[afs]

Isn't Slice different, since it operates on and produces a sequence?

Good point. Several of Ψ -> Ψ operations don't need to state cardinality and it is redundant in the definition.

[hartig]

Isn't Slice different, since it operates on and produces a sequence?

Good point. Several of Ψ -> Ψ operations don't need to state cardinality and it is redundant in the definition.

I agree that it is a bit strange to define multiplicity for the operations that return sequences instead of multisets. But for the sake of consistency, I would either have the multiplicity part in all their definitions or in none.