🎇 Universe of discourse § = a non-empty set U of individuals or objects Notation § U 📖 Example: § U={a,b,c,d}