• farmgineer@nord.pub
    link
    fedilink
    English
    arrow-up
    10
    ·
    3 days ago

    I really need to refresh my set theory symbols. I haven’t taken that class in… oh no… Almost 30 years

    • TwilightKiddy@programming.dev
      link
      fedilink
      English
      arrow-up
      1
      ·
      2 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
          1
          ·
          14 hours 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.