Set theory in action. nostr:note1ajx9nzlgya8qxew4h73yg6njw4pn0pjmukg5ll9a2y0aekks4llsupejtq