Hacker News new | ask | show | jobs
by xamuel 3460 days ago
You've got the mathematics 180° wrong! In standard mathematical foundations, ∈ is the only primitive relation, from which all others (including ⊆) derive.