発端 @fumieval 様のツイート。 空の配列を渡したら True を返すべき この関数に空の配列を渡したら True を返すべきである。仕様によるとか状況によるとか相談すべきとか例外を返すべきかもといった意見もあるようだが、議論の余地がないレベルで True を返すしかない。最大の理由は 「True を返さないと、空集合があらゆる集合の部分集合になるというルールに矛盾するから」 である。これは数学における集合論の定理のひとつであり、「これを認めないとそれに連なる集合論のすべてが瓦解する」というルールのひとつであって、認めない相応の理由があるとすれば「数学のもっとも基礎的なルールのひとつを覆してでも実現しなければならないことがある」という次元での話になる。 少なくとも私は 10 年以上プログラミングをしていてそんな状況に遭遇したことはない。 【2023/06/01 追記】 数式がわから
![「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的説明](https://cdn-ak-scissors.b.st-hatena.com/image/square/73be11cdd34bfbc282fd9b7df3aa7050b0b33675/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--SlQC6BtE--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%2525E3%252580%25258C%2525E9%252585%25258D%2525E5%252588%252597%2525E3%252581%2525AE%2525E3%252581%252599%2525E3%252581%2525B9%2525E3%252581%2525A6%2525E3%252581%2525AE%2525E8%2525A6%252581%2525E7%2525B4%2525A0%2525E3%252581%25258C%2525E6%25259D%2525A1%2525E4%2525BB%2525B6%2525E3%252582%252592%2525E6%2525BA%252580%2525E3%252581%25259F%2525E3%252581%252599%2525E3%252581%2525AA%2525E3%252582%252589%252520True%252520%2525E3%252582%252592%2525E8%2525BF%252594%2525E3%252581%252599%2525E3%252580%25258D%2525E9%252596%2525A2%2525E6%252595%2525B0%2525E3%252582%252592%2525E5%2525AE%25259A%2525E7%2525BE%2525A9%2525E3%252581%252599%2525E3%252582%25258B%2525E3%252581%2525A8%2525E3%252581%25258D%2525E3%252580%252581%2525E7%2525A9%2525BA%2525E3%252581%2525AE%2525E9%252585%25258D%2525E5%252588%252597%2525E3%252582%252592%2525E6%2525B8%2525A1%2525E3%252581%252597%2525E3%252581%25259F%2525E3%252582%252589%252520True%252520%2525E3%252582%252592%2525E8%2525BF%252594%2525E3%252581%252599...%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3AJosh%252520Nobus%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzJjZDAzYjNkNzYuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)