:: CARD_2 semantic presentation

REAL is set

bool omega is non empty non trivial non finite V54() cup-closed diff-closed preBoolean set

{{},1} is non empty finite V42() countable set

F is set
g is set
x is set

proj1 x is set
proj2 x is set
x . F is set
F is set

bool (card F) is non empty cup-closed diff-closed preBoolean set

proj1 g is set
proj2 g is set

proj1 x is set
proj2 x is set
x is set
x . x is set
A is set
x . A is set
g .: x is set
g .: A is set
x9 is set
g . x9 is set
f9 is set
g . f9 is set
x9 is set
g . x9 is set
f9 is set
g . f9 is set
x is set
A is set
x . A is set
g .: A is set
x is set
g " x is set
g .: (g " x) is set
x . (g " x) is set
F is set

g is set

x is set
Funcs (g,x) is functional set

proj1 x is set
proj2 x is set

proj1 A is set
proj2 A is set
x9 is set
A . x9 is set
f9 is set
A . f9 is set
x9 `1 is set
f9 `1 is set
f9 `2 is set
[(f9 `1),(f9 `2)] is non empty V22() set
{(f9 `1),(f9 `2)} is non empty finite countable set
{(f9 `1)} is non empty trivial finite 1 -element countable set
{{(f9 `1),(f9 `2)},{(f9 `1)}} is non empty finite V42() countable V53() V54() set
N is set
K is set
[N,K] is non empty V22() set
{N,K} is non empty finite countable set
{N} is non empty trivial finite 1 -element countable set
{{N,K},{N}} is non empty finite V42() countable V53() V54() set
x9 `2 is set
[(x9 `1),(x9 `2)] is non empty V22() set
{(x9 `1),(x9 `2)} is non empty finite countable set
{(x9 `1)} is non empty trivial finite 1 -element countable set
{{(x9 `1),(x9 `2)},{(x9 `1)}} is non empty finite V42() countable V53() V54() set
N is set
K is set
[N,K] is non empty V22() set
{N,K} is non empty finite countable set
{N} is non empty trivial finite 1 -element countable set
{{N,K},{N}} is non empty finite V42() countable V53() V54() set
x . (x9 `1) is set
x9 is set
f9 is set
A . f9 is set
f9 `1 is set
f9 `2 is set
[(f9 `1),(f9 `2)] is non empty V22() set
{(f9 `1),(f9 `2)} is non empty finite countable set
{(f9 `1)} is non empty trivial finite 1 -element countable set
{{(f9 `1),(f9 `2)},{(f9 `1)}} is non empty finite V42() countable V53() V54() set
N is set
K is set
[N,K] is non empty V22() set
{N,K} is non empty finite countable set
{N} is non empty trivial finite 1 -element countable set
{{N,K},{N}} is non empty finite V42() countable V53() V54() set
x9 is set
x . x9 is set
[x9,(x . x9)] is non empty V22() set
{x9,(x . x9)} is non empty finite countable set
{x9} is non empty trivial finite 1 -element countable set
{{x9,(x . x9)},{x9}} is non empty finite V42() countable V53() V54() set
A . [x9,(x . x9)] is set
[x9,(x . x9)] `1 is set

x is set
{x} is non empty trivial finite 1 -element countable set

x is set
{x} is non empty trivial finite 1 -element countable set

[:F,{x}:] \/ [:g,{x}:] is Relation-like set

proj1 A is set
proj2 A is set
x9 is set
A . x9 is set
f9 is set
A . f9 is set
[x9,x] is non empty V22() set
{x9,x} is non empty finite countable set
{x9} is non empty trivial finite 1 -element countable set
{{x9,x},{x9}} is non empty finite V42() countable V53() V54() set
[x9,x] `1 is set

A . N is set

A . K is set
[f9,x] is non empty V22() set
{f9,x} is non empty finite countable set
{f9} is non empty trivial finite 1 -element countable set
{{f9,x},{f9}} is non empty finite V42() countable V53() V54() set

[(N -^ F),x] is non empty V22() set
{(N -^ F),x} is non empty finite countable set
{(N -^ F)} is non empty trivial finite 1 -element countable set
{{(N -^ F),x},{(N -^ F)}} is non empty finite V42() countable V53() V54() set
[(N -^ F),x] `1 is set

[(K -^ F),x] is non empty V22() set
{(K -^ F),x} is non empty finite countable set
{(K -^ F)} is non empty trivial finite 1 -element countable set
{{(K -^ F),x},{(K -^ F)}} is non empty finite V42() countable V53() V54() set

[x9,x] is non empty V22() set
{x9,x} is non empty finite countable set
{x9} is non empty trivial finite 1 -element countable set
{{x9,x},{x9}} is non empty finite V42() countable V53() V54() set
[x9,x] `2 is set

[(K -^ F),x] is non empty V22() set
{(K -^ F),x} is non empty finite countable set
{(K -^ F)} is non empty trivial finite 1 -element countable set
{{(K -^ F),x},{(K -^ F)}} is non empty finite V42() countable V53() V54() set
[f9,x] is non empty V22() set
{f9,x} is non empty finite countable set
{f9} is non empty trivial finite 1 -element countable set
{{f9,x},{f9}} is non empty finite V42() countable V53() V54() set
[f9,x] `2 is set

[(N -^ F),x] is non empty V22() set
{(N -^ F),x} is non empty finite countable set
{(N -^ F)} is non empty trivial finite 1 -element countable set
{{(N -^ F),x},{(N -^ F)}} is non empty finite V42() countable V53() V54() set
x9 is set
f9 is set
A . f9 is set

[N,x] is non empty V22() set
{N,x} is non empty finite countable set
{N} is non empty trivial finite 1 -element countable set
{{N,x},{N}} is non empty finite V42() countable V53() V54() set

[(N -^ F),x] is non empty V22() set
{(N -^ F),x} is non empty finite countable set
{(N -^ F)} is non empty trivial finite 1 -element countable set
{{(N -^ F),x},{(N -^ F)}} is non empty finite V42() countable V53() V54() set
x9 is set
f9 is set
N is set
[f9,N] is non empty V22() set
{f9,N} is non empty finite countable set
{f9} is non empty trivial finite 1 -element countable set
{{f9,N},{f9}} is non empty finite V42() countable V53() V54() set

A . (F +^ K) is set
f9 is set
N is set
[f9,N] is non empty V22() set
{f9,N} is non empty finite countable set
{f9} is non empty trivial finite 1 -element countable set
{{f9,N},{f9}} is non empty finite V42() countable V53() V54() set
A . f9 is set

{1} is non empty trivial finite V42() 1 -element countable V53() V54() set
F is set
g is set
[:F,g:] is Relation-like set
[:g,F:] is Relation-like set

proj1 x is set
proj2 x is set
x is set
x . x is set
A is set
x . A is set
x `1 is set
x `2 is set
[(x `1),(x `2)] is non empty V22() set
{(x `1),(x `2)} is non empty finite countable set
{(x `1)} is non empty trivial finite 1 -element countable set
{{(x `1),(x `2)},{(x `1)}} is non empty finite V42() countable V53() V54() set
A `1 is set
A `2 is set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set
[(x `2),(x `1)] is non empty V22() set
{(x `2),(x `1)} is non empty finite countable set
{(x `2)} is non empty trivial finite 1 -element countable set
{{(x `2),(x `1)},{(x `2)}} is non empty finite V42() countable V53() V54() set
[(A `2),(A `1)] is non empty V22() set
{(A `2),(A `1)} is non empty finite countable set
{(A `2)} is non empty trivial finite 1 -element countable set
{{(A `2),(A `1)},{(A `2)}} is non empty finite V42() countable V53() V54() set
x is set
A is set
x . A is set
A `2 is set
A `1 is set
[(A `2),(A `1)] is non empty V22() set
{(A `2),(A `1)} is non empty finite countable set
{(A `2)} is non empty trivial finite 1 -element countable set
{{(A `2),(A `1)},{(A `2)}} is non empty finite V42() countable V53() V54() set
x is set
x `2 is set
x `1 is set
[(x `2),(x `1)] is non empty V22() set
{(x `2),(x `1)} is non empty finite countable set
{(x `2)} is non empty trivial finite 1 -element countable set
{{(x `2),(x `1)},{(x `2)}} is non empty finite V42() countable V53() V54() set
[(x `2),(x `1)] `1 is set
[(x `2),(x `1)] `2 is set
[(x `1),(x `2)] is non empty V22() set
{(x `1),(x `2)} is non empty finite countable set
{(x `1)} is non empty trivial finite 1 -element countable set
{{(x `1),(x `2)},{(x `1)}} is non empty finite V42() countable V53() V54() set
x . [(x `2),(x `1)] is set

[:F,g:] is Relation-like set

[:x,A:] is Relation-like set

[:A,x:] is Relation-like set

Funcs (g,F) is functional set

F is set
g is set
[:F,g:] is Relation-like set
[:g,F:] is Relation-like set
x is set
x is set
[:x,x:] is Relation-like set

[:x,x:] is Relation-like set

F is set
g is set
[:F,g:] is Relation-like set
x is set
[:[:F,g:],x:] is Relation-like set
[:g,x:] is Relation-like set
[:F,[:g,x:]:] is Relation-like set

proj1 x is set
proj2 x is set
A is set
x . A is set
x9 is set
x . x9 is set
A `1 is set
A `2 is set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set
x9 `1 is set
x9 `2 is set
[(x9 `1),(x9 `2)] is non empty V22() set
{(x9 `1),(x9 `2)} is non empty finite countable set
{(x9 `1)} is non empty trivial finite 1 -element countable set
{{(x9 `1),(x9 `2)},{(x9 `1)}} is non empty finite V42() countable V53() V54() set
(A `1) `1 is set
(A `1) `2 is set
[((A `1) `1),((A `1) `2)] is non empty V22() set
{((A `1) `1),((A `1) `2)} is non empty finite countable set
{((A `1) `1)} is non empty trivial finite 1 -element countable set
{{((A `1) `1),((A `1) `2)},{((A `1) `1)}} is non empty finite V42() countable V53() V54() set
[((A `1) `2),(A `2)] is non empty V22() set
{((A `1) `2),(A `2)} is non empty finite countable set
{((A `1) `2)} is non empty trivial finite 1 -element countable set
{{((A `1) `2),(A `2)},{((A `1) `2)}} is non empty finite V42() countable V53() V54() set
[((A `1) `1),[((A `1) `2),(A `2)]] is non empty V22() set
{((A `1) `1),[((A `1) `2),(A `2)]} is non empty finite countable set
{{((A `1) `1),[((A `1) `2),(A `2)]},{((A `1) `1)}} is non empty finite V42() countable V53() V54() set
(x9 `1) `1 is set
(x9 `1) `2 is set
[((x9 `1) `2),(x9 `2)] is non empty V22() set
{((x9 `1) `2),(x9 `2)} is non empty finite countable set
{((x9 `1) `2)} is non empty trivial finite 1 -element countable set
{{((x9 `1) `2),(x9 `2)},{((x9 `1) `2)}} is non empty finite V42() countable V53() V54() set
[((x9 `1) `1),[((x9 `1) `2),(x9 `2)]] is non empty V22() set
{((x9 `1) `1),[((x9 `1) `2),(x9 `2)]} is non empty finite countable set
{((x9 `1) `1)} is non empty trivial finite 1 -element countable set
{{((x9 `1) `1),[((x9 `1) `2),(x9 `2)]},{((x9 `1) `1)}} is non empty finite V42() countable V53() V54() set
[((x9 `1) `1),((x9 `1) `2)] is non empty V22() set
{((x9 `1) `1),((x9 `1) `2)} is non empty finite countable set
{{((x9 `1) `1),((x9 `1) `2)},{((x9 `1) `1)}} is non empty finite V42() countable V53() V54() set
A is set
x9 is set
x . x9 is set
x9 `1 is set
(x9 `1) `2 is set
x9 `2 is set
[((x9 `1) `2),(x9 `2)] is non empty V22() set
{((x9 `1) `2),(x9 `2)} is non empty finite countable set
{((x9 `1) `2)} is non empty trivial finite 1 -element countable set
{{((x9 `1) `2),(x9 `2)},{((x9 `1) `2)}} is non empty finite V42() countable V53() V54() set
(x9 `1) `1 is set
[((x9 `1) `1),[((x9 `1) `2),(x9 `2)]] is non empty V22() set
{((x9 `1) `1),[((x9 `1) `2),(x9 `2)]} is non empty finite countable set
{((x9 `1) `1)} is non empty trivial finite 1 -element countable set
{{((x9 `1) `1),[((x9 `1) `2),(x9 `2)]},{((x9 `1) `1)}} is non empty finite V42() countable V53() V54() set
A is set
A `1 is set
A `2 is set
(A `2) `1 is set
[(A `1),((A `2) `1)] is non empty V22() set
{(A `1),((A `2) `1)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),((A `2) `1)},{(A `1)}} is non empty finite V42() countable V53() V54() set
[(A `1),((A `2) `1)] `1 is set
[(A `1),((A `2) `1)] `2 is set
(A `2) `2 is set
[[(A `1),((A `2) `1)],((A `2) `2)] is non empty V22() set
{[(A `1),((A `2) `1)],((A `2) `2)} is non empty finite countable set
{[(A `1),((A `2) `1)]} is Relation-like Function-like constant non empty trivial finite 1 -element countable V53() V54() set
{{[(A `1),((A `2) `1)],((A `2) `2)},{[(A `1),((A `2) `1)]}} is non empty finite V42() countable V53() V54() set
[[(A `1),((A `2) `1)],((A `2) `2)] `1 is set
[[(A `1),((A `2) `1)],((A `2) `2)] `2 is set
[((A `2) `1),((A `2) `2)] is non empty V22() set
{((A `2) `1),((A `2) `2)} is non empty finite countable set
{((A `2) `1)} is non empty trivial finite 1 -element countable set
{{((A `2) `1),((A `2) `2)},{((A `2) `1)}} is non empty finite V42() countable V53() V54() set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set
x . [[(A `1),((A `2) `1)],((A `2) `2)] is set
F is set

g is set
{g} is non empty trivial finite 1 -element countable set

proj1 x is set
proj2 x is set
x is set
x . x is set
A is set
x . A is set
[x,g] is non empty V22() set
{x,g} is non empty finite countable set
{x} is non empty trivial finite 1 -element countable set
{{x,g},{x}} is non empty finite V42() countable V53() V54() set
[x,g] `1 is set
[A,g] is non empty V22() set
{A,g} is non empty finite countable set
{A} is non empty trivial finite 1 -element countable set
{{A,g},{A}} is non empty finite V42() countable V53() V54() set
x is set
A is set
x . A is set
[A,g] is non empty V22() set
{A,g} is non empty finite countable set
{A} is non empty trivial finite 1 -element countable set
{{A,g},{A}} is non empty finite V42() countable V53() V54() set
x is set
A is set
x9 is set
[A,x9] is non empty V22() set
{A,x9} is non empty finite countable set
{A} is non empty trivial finite 1 -element countable set
{{A,x9},{A}} is non empty finite V42() countable V53() V54() set
x . A is set
F is set

g is set
[:F,g:] is Relation-like set
[:(card F),g:] is Relation-like set

proj1 x is set
proj2 x is set

proj1 x is set
proj2 x is set
A is set
x . A is set
x9 is set
x . x9 is set
A `1 is set
x9 `1 is set
x . (A `1) is set
A `2 is set
[(x . (A `1)),(A `2)] is non empty V22() set
{(x . (A `1)),(A `2)} is non empty finite countable set
{(x . (A `1))} is non empty trivial finite 1 -element countable set
{{(x . (A `1)),(A `2)},{(x . (A `1))}} is non empty finite V42() countable V53() V54() set
x . (x9 `1) is set
x9 `2 is set
[(x . (x9 `1)),(x9 `2)] is non empty V22() set
{(x . (x9 `1)),(x9 `2)} is non empty finite countable set
{(x . (x9 `1))} is non empty trivial finite 1 -element countable set
{{(x . (x9 `1)),(x9 `2)},{(x . (x9 `1))}} is non empty finite V42() countable V53() V54() set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set
[(x9 `1),(x9 `2)] is non empty V22() set
{(x9 `1),(x9 `2)} is non empty finite countable set
{(x9 `1)} is non empty trivial finite 1 -element countable set
{{(x9 `1),(x9 `2)},{(x9 `1)}} is non empty finite V42() countable V53() V54() set
A is set
x9 is set
x . x9 is set
x9 `1 is set
x . (x9 `1) is set
x9 `2 is set
[(x . (x9 `1)),(x9 `2)] is non empty V22() set
{(x . (x9 `1)),(x9 `2)} is non empty finite countable set
{(x . (x9 `1))} is non empty trivial finite 1 -element countable set
{{(x . (x9 `1)),(x9 `2)},{(x . (x9 `1))}} is non empty finite V42() countable V53() V54() set
A is set
A `1 is set
x9 is set
x . x9 is set
A `2 is set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set
[x9,(A `2)] is non empty V22() set
{x9,(A `2)} is non empty finite countable set
{x9} is non empty trivial finite 1 -element countable set
{{x9,(A `2)},{x9}} is non empty finite V42() countable V53() V54() set
[x9,(A `2)] `1 is set
[x9,(A `2)] `2 is set
x . [x9,(A `2)] is set
F is set

g is set
[:F,g:] is Relation-like set
[:(card F),g:] is Relation-like set

[:F,(card g):] is Relation-like set
[:(card F),(card g):] is Relation-like set

[:g,F:] is Relation-like set
[:(card g),F:] is Relation-like set
F is set
g is set
x is set
[:F,x:] is Relation-like set

x is set
[:g,x:] is Relation-like set

[:(card F),(card x):] is Relation-like set
[:(card g),(card x):] is Relation-like set
x is set
x is set

{x} is non empty trivial finite 1 -element countable set

{x} is non empty trivial finite 1 -element countable set

[:F,{x}:] \/ [:g,{x}:] is Relation-like set

x is set
{x} is non empty trivial finite 1 -element countable set

x is set
{x} is non empty trivial finite 1 -element countable set

[:F,{x}:] \/ [:g,{x}:] is Relation-like set

[:F,g:] is Relation-like set

x is set
x `1 is set
x `2 is set

proj1 x is set
proj2 x is set
x is set
x . x is set
A is set
x . A is set
x `2 is set
A `2 is set
x `1 is set
A `1 is set
[(x `1),(x `2)] is non empty V22() set
{(x `1),(x `2)} is non empty finite countable set
{(x `1)} is non empty trivial finite 1 -element countable set
{{(x `1),(x `2)},{(x `1)}} is non empty finite V42() countable V53() V54() set
[(A `1),(A `2)] is non empty V22() set
{(A `1),(A `2)} is non empty finite countable set
{(A `1)} is non empty trivial finite 1 -element countable set
{{(A `1),(A `2)},{(A `1)}} is non empty finite V42() countable V53() V54() set

x is set

A is set
x . A is set
A `1 is set
A `2 is set

{x9} is non empty trivial finite 1 -element countable set
x9 \/ {x9} is non empty set
(x9 *^ g) +^ (1 *^ g) is epsilon-transitive epsilon-connected ordinal set

x is set

((A div^ g) *^ g) +^ (A mod^ g) is epsilon-transitive epsilon-connected ordinal set
[(A div^ g),(A mod^ g)] is non empty V22() set
{(A div^ g),(A mod^ g)} is non empty finite countable set
{(A div^ g)} is non empty trivial finite 1 -element countable set
{{(A div^ g),(A mod^ g)},{(A div^ g)}} is non empty finite V42() countable V53() V54() set
[(A div^ g),(A mod^ g)] `1 is set
[(A div^ g),(A mod^ g)] `2 is set
x . [(A div^ g),(A mod^ g)] is set

F is set
g is set
x is set
x is set
A is set
{A} is non empty trivial finite 1 -element countable set

x9 is set
{x9} is non empty trivial finite 1 -element countable set
[:x,{x9}:] is Relation-like set
[:F,{A}:] \/ [:x,{x9}:] is Relation-like set

f9 is set
{f9} is non empty trivial finite 1 -element countable set
[:g,{f9}:] is Relation-like set
N is set
{N} is non empty trivial finite 1 -element countable set

[:g,{f9}:] \/ [:x,{N}:] is Relation-like set

K is set
K `2 is set
K is set
K `2 is set

[:(card F),:] is Relation-like set
[:(card g),{1}:] is Relation-like set
[:(card F),:] \/ [:(card g),{1}:] is Relation-like set

[:(card F),(card g):] is Relation-like set

[:F,g:] is Relation-like set

F is set

g is set

x is set

x is set

F is set
g is set
[:F,g:] is Relation-like set
[:g,F:] is Relation-like set
x is set
x is set
[:x,x:] is Relation-like set
[:F,g:] \/ [:x,x:] is Relation-like set
[:x,x:] is Relation-like set
[:g,F:] \/ [:x,x:] is Relation-like set

proj1 A is set
proj2 A is set
x9 is set
A . x9 is set
f9 is set
A . f9 is set
x9 `1 is set
x9 `2 is set
[(x9 `1),(x9 `2)] is non empty V22() set
{(x9 `1),(x9 `2)} is non empty finite countable set
{(x9 `1)} is non empty trivial finite 1 -element countable set
{{(x9 `1),(x9 `2)},{(x9 `1)}} is non empty finite V42() countable V53() V54() set
f9 `1 is set
f9 `2 is set
[(f9 `1),(f9 `2)] is non empty V22() set
{(f9 `1),(f9 `2)} is non empty finite countable set
{(f9 `1)} is non empty trivial finite 1 -element countable set
{{(f9 `1),(f9 `2)},{(f9 `1)}} is non empty finite V42() countable V53() V54() set
[(x9 `2),(x9 `1)] is non empty V22() set
{(x9 `2),(x9 `1)} is non empty finite countable set
{(x9 `2)} is non empty trivial finite 1 -element countable set
{{(x9 `2),(x9 `1)},{(x9 `2)}} is non empty finite V42() countable V53() V54() set
[(f9 `2),(f9 `1)] is non empty V22() set
{(f9 `2),(f9 `1)} is non empty finite countable set
{(f9 `2)} is non empty trivial finite 1 -element countable set
{{(f9 `2),(f9 `1)},{(f9 `2)}} is non empty finite V42() countable V53() V54() set
x9 is set
f9 is set
A . f9 is set
f9 `1 is set
f9 `2 is set
[(f9 `2),(f9 `1)] is non empty V22() set
{(f9 `2),(f9 `1)} is non empty finite countable set
{(f9 `2)} is non empty trivial finite 1 -element countable set
{{(f9 `2),(f9 `1)},{(f9 `2)}} is non empty finite V42() countable V53() V54() set
x9 is set
x9 `2 is set
x9 `1 is set
[(x9 `2),(x9 `1)] is non empty V22() set
{(x9 `2),(x9 `1)} is non empty finite countable set
{(x9 `2)} is non empty trivial finite 1 -element countable set
{{(x9 `2),(x9 `1)},{(x9 `2)}} is non empty finite V42() countable V53() V54() set
[(x9 `2),(x9 `1)] `1 is set
[(x9 `2),(x9 `1)] `2 is set
[(x9 `1),(x9 `2)] is non empty V22() set
{(x9 `1),(x9 `2)} is non empty finite countable set
{(x9 `1)} is non empty trivial finite 1 -element countable set
{{(x9 `1),(x9 `2)},{(x9 `1)}} is non empty finite V42() countable V53() V54() set
A . [(x9 `2),(x9 `1)] is set
F is set
{F} is non empty trivial finite 1 -element countable set
g is set
{g} is non empty trivial finite 1 -element countable set
x is set

x is set

[:x,{F}:] \/ [:x,{g}:] is Relation-like set

[:(card x),{F}:] is Relation-like set
[:(card x),{g}:] is Relation-like set
[:(card x),{F}:] \/ [:(card x),{g}:] is Relation-like set

F is set
{F} is non empty trivial finite 1 -element countable set
g is set
{g} is non empty trivial finite 1 -element countable set
x is set

x is set

A is set
A `2 is set

[:(F,g),:] is Relation-like set
{2} is non empty trivial finite V42() 1 -element countable V53() V54() set

[:(F,g),:] \/ [:x,{2}:] is Relation-like set

[:g,{1}:] /\ [:x,{2}:] is Relation-like set

([:F,:] \/ [:g,{1}:]) /\ [:x,{2}:] is Relation-like set

[:g,{1}:] \/ [:x,{2}:] is Relation-like set
[:F,:] /\ ([:g,{1}:] \/ [:x,{2}:]) is Relation-like set
[:(g,x),{2}:] is Relation-like set
[:F,:] \/ ([:g,{1}:] \/ [:x,{2}:]) is Relation-like set
[:F,:] \/ [:(g,x),{2}:] is Relation-like set
([:F,:] \/ [:g,{1}:]) \/ [:x,{2}:] is Relation-like set

[:F,1:] is Relation-like set

[:F,g:] is Relation-like set

[:(F,g),x:] is Relation-like set

[:g,x:] is Relation-like set

[:F,(g,x):] is Relation-like set

[:[:F,g:],x:] is Relation-like set

[:F,[:g,x:]:] is Relation-like set

[:2,F:] is Relation-like set

[:F,g:] is Relation-like set

[:F,(g,x):] is Relation-like set

[:F,x:] is Relation-like set

((F,g),(F,x)) is epsilon-transitive epsilon-connected ordinal cardinal set
(F,g) +^ (F,x) is epsilon-transitive epsilon-connected ordinal set
card ((F,g) +^ (F,x)) is epsilon-transitive epsilon-connected ordinal cardinal set
[:(card [:F,g:]),:] is Relation-like set

[:(card [:F,x:]),{1}:] is Relation-like set
[:[:F,x:],{1}:] is Relation-like set

[:F,[:x,{1}:]:] is Relation-like set

[:F,(card H3(g,x)):] is Relation-like set

[:F,H3(g,x):] is Relation-like set

[:F,[:g,:]:] \/ [:F,[:x,{1}:]:] is Relation-like set

[:(card [:F,g:]),:] \/ [:(card [:F,x:]),{1}:] is Relation-like set

Funcs (0,F) is functional set

Funcs (F,0) is functional set

Funcs (1,F) is functional set

Funcs (F,1) is functional non empty set

Funcs (g,F) is functional set

Funcs ((g,x),F) is functional set

Funcs (x,F) is functional set

((F,g),(F,x)) is epsilon-transitive epsilon-connected ordinal cardinal set
[:(F,g),(F,x):] is Relation-like set

Funcs ([:g,:],F) is functional set
Funcs ([:x,{1}:],F) is functional set

Funcs (([:g,:] \/ [:x,{1}:]),F) is functional set

[:(Funcs ([:g,:],F)),(Funcs ([:x,{1}:],F)):] is Relation-like set
card [:(Funcs ([:g,:],F)),(Funcs ([:x,{1}:],F)):] is epsilon-transitive epsilon-connected ordinal cardinal set
[:(Funcs (g,F)),(Funcs (x,F)):] is Relation-like set
card [:(Funcs (g,F)),(Funcs (x,F)):] is epsilon-transitive epsilon-connected ordinal cardinal set

[:F,g:] is Relation-like set

Funcs (x,(F,g)) is functional set

Funcs (x,F) is functional set

Funcs (x,g) is functional set

((F,x),(g,x)) is epsilon-transitive epsilon-connected ordinal cardinal set
[:(F,x),(g,x):] is Relation-like set

Funcs (x,[:F,g:]) is functional set

[:(Funcs (x,F)),(Funcs (x,g)):] is Relation-like set
card [:(Funcs (x,F)),(Funcs (x,g)):] is epsilon-transitive epsilon-connected ordinal cardinal set

Funcs (g,F) is functional set

[:g,x:] is Relation-like set

Funcs ((g,x),F) is functional set

Funcs (x,(F,g)) is functional set

[:x,g:] is Relation-like set
Funcs ([:x,g:],F) is functional set

Funcs (x,(Funcs (g,F))) is functional set
card (Funcs (x,(Funcs (g,F)))) is epsilon-transitive epsilon-connected ordinal cardinal set
F is set

Funcs ((card F),2) is functional non empty set

Funcs (F,{{},1}) is functional non empty FUNCTION_DOMAIN of F,{{},1}

Funcs (2,F) is functional set

[:F,F:] is Relation-like set

[:F,F:] is Relation-like set

[:2,F:] is Relation-like set

Funcs (2,(F,g)) is functional set

[:(2,F),g:] is Relation-like set

((F,F),((2,F),g)) is epsilon-transitive epsilon-connected ordinal cardinal set
(F,F) +^ ((2,F),g) is epsilon-transitive epsilon-connected ordinal set
card ((F,F) +^ ((2,F),g)) is epsilon-transitive epsilon-connected ordinal cardinal set

[:g,g:] is Relation-like set