• TwilightKiddy@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 days ago

    ∪ is for “union”, aka “disjunction for sets”, ∈ is for “includes”, ⊂is for “subset”, don’t confuse ⊂ with ⊆, which also allows for both operands to be the same set.

    Difference between ∈ and ⊂ is that former takes an element and a set as operands, latter takes two sets.

      • TwilightKiddy@programming.dev
        link
        fedilink
        English
        arrow-up
        2
        ·
        2 days ago

        I don’t believe the current paper defines a way to describe “bdsm leaning”, but for “bottoms” you can easily define x, x ∈ H, such that there exists at least one h, h ∈ H, f(h,x) > 0 and no h', h' ∈ H, f(x, h') > 0. If the second condition is not met, conventionally x is regarded to be a “swap”, if the first one is not met, we have a “top”. Hope that helps.