Название операции списка, которая последовательно заменяет данный элемент

Question

Имеет ли стандартное имя ли операция списка, которая последовательно заменяет данный элемент из одного списка на каждый элемент другого (он возникает, например, при переводе логических формул на нормальную форму)?

Пример: даны входы

[0, 1, 2, 3], [a, b, c] 

и применяя операцию в положении 2, выход

[[0, 1, a, 3], 
[0, 1, b, 3], 
[0, 1, c, 3]] 

Answer 1

В регулярных выражениях, эта форма расширения

> 0 1 {a | b | c} 3 
0 1 a 3 
0 1 b 3 
0 1 c 3 

называется чередование.