  A description of all subsemigroups of $M_2(\mathbb{C})$ which are given by a
countable intersection of constructible sets is given. Furthermore, it is shown
that they are intersections of constructible semigroups.

Logic;Rings and Algebras