具有有限集的所有地图的集合作为域和范围

Question

我知道如何使用Hilbert epsilon运算符（：|）转换序列中的集合，这允许我选择集合的元素。但是，此类运算符只能用于ghost实体。更具体地说，我需要制作真实的代码，生成从有限集到其他有限集的所有可能的映射。我无法弄清楚该怎么做。