Dwie wersja znaku zawierania się takidrugi: Dzień dobry, W logice można natknąć się na dwa znaki ⊂ oraz ⊆. Czy w gruncie rzeczy można powiedzieć, że oznaczają one dokładnie to samo? Wikipedia nie wyjaśniła mi tego dostatecznie, jak sytuacja ma się aktualnie.

Pytający: Po mojemu: • zapis A⊆B dopuszcza A=B, • zapis A⊊B zapewnia A≠B, • zapis A⊂B dopuszcza A=B, o ile nie jest zaznaczone, że chodzi jedynie o inkluzję właściwą (w książkach czy na wykładach jest raczej napomknięte, co dany symbol oznacza).