Equal set, subset, and power set

units
abc
abc
abc
vector
logic
function
standard

abc

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

shift

greek

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

shift

greek

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

−

×∗×

√

a■

{......

[

]

∞

{}

det

(m×n)

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

∧

⊥

∀

⊢

∅

∪

⊂

∨

⊤

∃

≠

⊨

∈

∩

⊆

∄

→

□

⊕

≥

∖

∉

⇒

⊬

⊃

↔

◇

⧆

≤

⊭

≡

{}

⇔

⊇

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

−

×∗×

√

a■

log

sin

[

]

cos

lim

∞

[

)

≥

tan

(

]

≤

arc

{......

(

)

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

−

×∗×

√

a■

log

sin

∧

cos

∨

≥

tan

all

≤

none

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

°C

mol

bar

rad

units

↵

(

)

↑

←

↓

→

units
abc
abc
abc
vector
logic
function
standard

−

×∗×

√

a■

log

sin

∧

cos

∨

≥

tan

all

≤

none

↵

(

)

↑

←

↓

→

Each of the following equalities of sets is either true or false. Drag each formula to the correct column.

By clicking the reset-button, you indicate that you want to start with a clean slate.

\(\{1,2,3\}=\{2,1,3\}\)

\(\{1,2,2, 3,3,3\}=\{1,2,3\}\)

\(\left\{\{1,2\},\bigl\{\{1,2\}\bigr\}\right\}=\left\{\bigl\{\{1,2\}\bigr\}\right\}\)

\(\bigl\{1,\{2\},\{1,2\}\bigr\}=\bigl\{\{2\},\{1,2\},1\bigr\}\)

\(\bigl\{1,\{2,3\}\bigr\}=\bigl\{\{1,2\},3\bigr\}\)

\(\bigl\{1,\{2\},\{2\}\bigr\}=\bigl\{\{2\},\{1,2\}\bigr\}\)

Naive set theory: Elementary notions and notations

Equal set, subset, and power set

true

false