B의 하나의 부분집합이 아니라 진부분집합이라고 해야 더 정확한 표현아닌가요? 그냥 부분집합이면 A~B인 경우도 있어서 사실상 등호가 들어가버리지 않나해서요 - dc official App
A~B인거 두번째에서 걸러짐
두번째가 뭔가요? - dc App
B는 A의 어느부분집합과도 대등하지않다
근데 A~B인경우가 어짜피 걸러질거였으면 처음부터 이 경우는 빼서 진부분집합으로 써도 되지않나요 - dc App
차피 동치인데 그냥 쓰고싶은거 쓰죠
B는 A의 어느 부분집합과도 대등하지 않다매
근데 뭐 정의가 이따구냐
equivalence 는 그냥 existence of injection of both sides 로 이해하셈