问CPLEX变量的角标范围属于某个集合时，应该怎么做？

我是小白，学习到如果想要定义一个0-1变量Zij，可以写成dvar boolean z[ i in 1..I][ j in 1..J];

但是我想做的是一个配载的问题，Zij 是判断在装载箱子 i 时 是否倒箱， 我将箱子 i 上方的 箱子 j 定义成一个 集合 Ei ；

j 是属于集合Ei 的(集合Ei 已知)，

现在我的角标 j 的取值并不是1-J，而是根据 i 的取值变化的，

12个箱子， i={1，2，3，4，5，6，7，8，9，10，11，12}；

E1={2，3，4，5}；E2={3，4，5}；E3={4，5}；E6={7，8，9，10}......

，例如当i=1时， E1={2，3，4，5}；因此， 我只想考虑 z12, z13, z14，z15 是0 还是1；

那么我应该怎么写这个 j 的取值呢

先感谢您。