Liste des Groupes | Revenir à c theory |
On 2024-05-20 17:53:59 +0000, olcott said:You meant the is-subset operator, ⊆
On 5/20/2024 3:08 AM, Mikko wrote:Apparently your interpretation of either "that reasoning" orMore generally, everybody who knows what ∈ usually means,>
thinks that {} ∈ X is true unless it is a syntax error.
>
According to that reasoning everyone
thinks that {cats} ∈ {dogs} is true.
"everyone" is different from mine.
Les messages affichés proviennent d'usenet.