Definition of B&F for Ja
•For EF games:
•Forth:
8 f 2 Ib+1 8 a 2 A, 9 g 2 Ib s.t. f µ g and a 2 dom(g)
•Back:
symmetric
•
•
•Only
need b < k
•Pebble games
•Forth: 8 f 2 Ib+1 |dom(f)| < k, 8 a 2 A, 9 g 2 Ib s.t. f µ g and a 2 dom(g)
•Back: symmetric
•Downwards closed: if f
µ g, g 2 Ib, then f 2 Ib
•Antimonotone: b < g implies Ig µ Ib
•Nonempty: Ib ¹ ;