S,T:Type. Fin(S) & Fin(T) Fin(ST)

1	S,T:Type. (n:, f:(nS). Bij(n; S; f)) & (n:, f:(nT). Bij(n; T; f)) (n:, f:(nST). Bij(n; ST; f))

About: