You can put "i≠j" using condition or interval break.

As expression...


As assigned variable...


As function...

You can only use "mul" instead of "product" in (7) because "0..k" must be defined at call moment (k parameter became argument) but "0..k", "0..j-1" and "j+1..k" is not defined and "mul" don't works with interval symbols.