For the grammar S → AB, A → a | ε, B → b | ε, the set FIRST(S) is

Explanation

FIRST(A) = {a, ε} and FIRST(B) = {b, ε}; because A can vanish, FIRST(S) also contains b, and because both A and B can derive ε, S can derive ε too.