递归可枚举集的联合和交集

Question

我很难为这个定理编写代码： 如果A和B是递归可枚举集，则联合B和A交集B也是如此。我知道RE集是包含递归函数输出的集合，并且可以枚举，使得集合是自然数的子集。

对于工会B：

public static Function<Integer, Integer> union(Function<Integer, Integer> enumA, Function<Integer, Integer> enumB){
...
}

有人可以给我一些关于如何实施这个的提示。