Does imply axiom of choice?
In [7], V. Novak and M. Novotny studied ternary relational structures by means of pairs of binary structures; they obtained the so-called double binary structures. In this paper, the idea is generalized to relational structures of any finite arity.