EECS20N: Signals and Systems

Predicates on product sets

If (x,y) is variable over X ´ Y, then x is variable over X and y is variable over Y. So a predicate over X ´ Y has the forms:

  • 5x + 3y < 2
  • (x < -2) ∧ (x + y = 4)
  • TallerThan = {(name1 , name2) ∈ Students 2 | name1 is taller than name2 }
  • NearbyCities = {(city1 , city2 ) ∈ USCities 2 | dist(city1 , city2 ) ≤ 50}