Definable connectedness of randomizations of groups. - Alexander Berenstein; Jorge Daniel Muñoz (Arch. Math. Log., 2021)