 The Set-Theoretic Distributive Law. For an arbitrary doubly-indexed family of sets \(\{M_{i,j}: i \in I,j \in J\}\), and where \(J^I\) is the set of all functions with domain \(I\) and which take values in \(J\): 