Hacker News new | ask | show | jobs
by soco 1784 days ago
A ⊆ B does not imply A = B.