1年です、初歩の初歩ですみません
{a_b┃b∈B}=Aまでは分かるんですが、その先が分かりません
なぜ「任意のb∈Bに対し〜」が結論できるんですか?
https://i.imgur.com/nZDbSW8.jpg