Set Theoryhard
0:00.0

If AsubseteqBA \\subseteq B and BsubseteqAB \\subseteq A, then: