labeled with Greek Bayer designation
- Set-builder notation (Wikipedia)
In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy.
- Zeta Cephei (Wikipedia)
Zeta Cephei (ζ Cep, ζ Cephei) is a red supergiant star, located about 1000 light-years away in the constellation of Cepheus. Zeta Cephei marks the left shoulder of Cepheus, the King of Ethiopia. It is one of the fundamental stars of the MK spectral sequence, defined as type K1.5 Ib.