Two-sorted invariant relations are used to describe all maximum subalgebras of the iterative algebra P2×P k —the arity-calibrated product of the algebras of Boolean functions and of functions of k-valued logic with k≥3. Functional completeness criteria are obtained for P2×P k and also for the system P2×...×P2×P k .