conflation of definitions of what a "debut single" is. see "disjoint union of" (P2738) for what classes to replace this class with
