∀ {ι : Type u_1} {R : Type u_4} {κ : ι → Type u_5} [Nonempty ι] [inst : CommSemiring R]
  [inst_1 : (i : ι) → NonUnitalRing (κ i)] [inst_2 : (i : ι) → Module R (κ i)] (a : (i : ι) → κ i),
  quasispectrum R a = ⋃ i, quasispectrum R (a i)