$\infty$-constructible Subsemigroups of $M_2(\mathbb{C})$

Abstract

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.