infinite distributivity


Distributivity of union of funcoids corresponding to reloids ★★

Author(s): Porton

Conjecture   $ \bigcup \left\langle ( \mathsf{\tmop{FCD}}) \right\rangle S = ( \mathsf{\tmop{FCD}}) \bigcup S $ if $ S\in\mathscr{P}\mathsf{RLD}(A;B) $ is a set of reloids from a set $ A $ to a set $ B $.

Keywords: funcoid; infinite distributivity; reloid

Syndicate content