x \mapsto y_1...y_n


y_1...y_n \mapsto x