None

Conclusion:

n:. f:n x,y:(2 List)//(x Rl y). Bij(n;x,y:(2 List)//(x Rl y);f)

1. Fin(x,y:(2 List)//(x Rl y))