不可算の実数の真部分集合で、0と1など基本的なものを含んで、せめて四則演算で閉じているもので、面白い・自然な定義のもの、どんなのがあるかな。

真のクラスとか真部分集合とかいうときのワード「真」の用法

返信先:@h_chihiro_0617ちひろさん ありがとうございます😊 うちにいるプクリンは こんな感じなんですが 見た目よりは活躍してくれてます🤣 全然ポケモン運のない私なので🍎個体とサブスキルまぁまぁ良い！ ...の真部分集合の子が来てくれて 舞い上がってしまっていました🤭 あと飴ミッション（サナギラスに上げます❣️） pic.twitter.com/PtZ4i4ZvNw

あかん、あれかこれかといろいろ予想してたけどそれらの和集合が予想してた量の真部分集合だったという意味不明な事実に笑いが止まらない

東大人文系がヤバいというより人文系（ヤバい）の真部分集合である東大人文系は当然ヤバいという論理学

部分集合と真部分集合の記号の使い分けの流儀、何が一番一般的なのか分からん。

返信先:@hamao_0820私は「こども食堂はなくなるのが理想」という人が思う「こども食堂の集合」は，「今あるこども食堂の集合」の真部分集合になっていてかつそのギャップが大きいかもしれない，という意味で書きました．

返信先:@hamao_0820なるほどです。それが A ⊆ B で、 A = B が別に定義されていて、A ≠ B のとき真部分集合と定義されている気がします(気がします)

返信先:@p41412確かにそう言われればそうですね... あまり真部分集合を考えることがないため, 数学の方では略記してるのかなーと個人的には思ってます 逆に情報系だと A = B :⟺ A ⊆ B かつ A ⊇ B って定義するんですか? それだと = が循環定義になって少し気持ち悪いなって感じがあります.

数学科だと ⊂: 部分集合(=を許す) ⊊: 真部分集合 だけど, 情報系だと ⊆: 部分集合(=を許す) ⊂: 真部分集合 なの少し混乱する.

既約・可約であることを使うときは、うまく真部分集合Jを用意しているが、私にはできない(小並感)

真部分集合じゃないは草

返信先:@U_100favesこの構文で真部分集合じゃないパターンあるんだな

返信先:@gokujou_heaven高校でも真部分集合（proper subset）って出てきますし。

ファミマのことはファミマ真部分集合って言います

黒魔紋がAOEの真部分集合になっちゃうへっぽこ黒魔への福音

この集合は、1以上5以下の実数のみを含む。実数全体 Rにはこの範囲外の実数も含まれるため、この集合はRの真部分集合となる。 これであってますか、、、？