Aldous and Hoover have proved independently that an array X = (Xij, i, j [set membership, variant] ) of random variables is exchangeable under separate or joint permutations of rows and columns, iff a.s. Xij[reverse not equivalent]f([alpha], [xi]i, [eta]j, [xi]ij) or Xij[reverse not...