What this "⊃" superset means? What do I need to prove here. Can someone, please, explain in English? Do I need to do a cross product? Plus, in textbooks and online I only see "∩" "∪" these kinda symbols. What this symbols "⊃" means?
Let M = (K, Σ, δ, s, F) be a deterministic finite automaton. Let M' = (K, Σ, δ, s, F') be a similar deterministic finite automaton where F is a proper subset of F'. For each of the following provide an example to show that the relationship between L(M) and L(M') is possible or explain why the relationship is not possible. The problem to prove: L(M) ⊃ L(M')