집합 알려줄 천사판녀 구함

집합 포함관계에서 수직선에 표현하는 거긴데 빨간 네모만 이해가 안돼.. 왜 쟤만 b=a가 될 수 있다는거야??