An axiomatization of the prekernel of nontransferable utility games