:: GRFUNC_1 semantic presentation

{} is set

the empty Relation-like non-empty empty-yielding Function-like one-to-one constant functional set is empty Relation-like non-empty empty-yielding Function-like one-to-one constant functional set

proj1 {} is set

proj2 {} is set

X is set

x is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

g is set

x . g is set

X . g is set

[g,(x . g)] is V14() set

{g,(x . g)} is set

{g} is set

{{g,(x . g)},{g}} is set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

x . g is set

X . g is set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

x . g is set

[g,(x . g)] is V14() set

{g,(x . g)} is set

{{g,(x . g)},{g}} is set

x is set

X is set

g is Relation-like Function-like set

proj2 g is set

proj1 g is set

g . x is set

f is Relation-like Function-like set

proj2 f is set

(proj2 g) /\ (proj2 f) is set

proj1 f is set

f . X is set

x is set

X is set

[x,X] is V14() set

{x,X} is set

{x} is set

{{x,X},{x}} is set

g is Relation-like Function-like set

f is Relation-like Function-like set

f * g is Relation-like Function-like set

f . x is set

[x,(f . x)] is V14() set

{x,(f . x)} is set

{{x,(f . x)},{x}} is set

[(f . x),X] is V14() set

{(f . x),X} is set

{(f . x)} is set

{{(f . x),X},{(f . x)}} is set

z is set

[x,z] is V14() set

{x,z} is set

{{x,z},{x}} is set

[z,X] is V14() set

{z,X} is set

{z} is set

{{z,X},{z}} is set

x is set

X is set

[x,X] is V14() set

{x,X} is set

{x} is set

{{x,X},{x}} is set

{[x,X]} is Relation-like Function-like set

x is set

X is set

[x,X] is V14() set

{x,X} is set

{x} is set

{{x,X},{x}} is set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

{[g,f]} is Relation-like Function-like set

x is set

X is set

[x,X] is V14() set

{x,X} is set

{x} is set

{{x,X},{x}} is set

{[x,X]} is Relation-like Function-like set

g is Relation-like Function-like set

g . x is set

x is set

{x} is set

X is Relation-like Function-like set

proj1 X is set

X . x is set

[x,(X . x)] is V14() set

{x,(X . x)} is set

{{x,(X . x)},{x}} is set

{[x,(X . x)]} is Relation-like Function-like set

g is Relation-like Function-like set

f is set

z is set

[f,z] is V14() set

{f,z} is set

{f} is set

{{f,z},{f}} is set

proj2 X is set

{(X . x)} is set

x is set

X is set

[x,X] is V14() set

{x,X} is set

{x} is set

{{x,X},{x}} is set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

{[x,X],[g,f]} is Relation-like set

z is set

z is set

z1 is set

[z,z1] is V14() set

{z,z1} is set

{z} is set

{{z,z1},{z}} is set

z2 is set

[z,z2] is V14() set

{z,z2} is set

{{z,z2},{z}} is set

x is Relation-like Function-like set

X is set

g is set

f is set

[X,f] is V14() set

{X,f} is set

{X} is set

{{X,f},{X}} is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

x . X is set

x . g is set

proj1 x is set

X is set

proj1 x is set

x . X is set

g is set

x . g is set

[X,(x . X)] is V14() set

{X,(x . X)} is set

{X} is set

{{X,(x . X)},{X}} is set

[g,(x . X)] is V14() set

{g,(x . X)} is set

{g} is set

{{g,(x . X)},{g}} is set

x is Relation-like Function-like set

X is Relation-like Function-like set

g is set

z is set

[g,z] is V14() set

{g,z} is set

{g} is set

{{g,z},{g}} is set

f is set

[f,z] is V14() set

{f,z} is set

{f} is set

{{f,z},{f}} is set

x is Relation-like Function-like set

X is set

x /\ X is Relation-like set

x is set

X is Relation-like Function-like set

X . x is set

g is Relation-like Function-like set

X /\ g is Relation-like Function-like set

proj1 (X /\ g) is set

(X /\ g) . x is set

[x,((X /\ g) . x)] is V14() set

{x,((X /\ g) . x)} is set

{x} is set

{{x,((X /\ g) . x)},{x}} is set

x is Relation-like Function-like set

X is Relation-like Function-like set

x /\ X is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

x \/ X is Relation-like set

(proj1 x) /\ (proj1 X) is set

g is set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

z is set

[g,z] is V14() set

{g,z} is set

{{g,z},{g}} is set

x is Relation-like Function-like set

X is Relation-like Function-like set

g is Relation-like Function-like set

x \/ g is Relation-like set

x is set

X is Relation-like Function-like set

proj1 X is set

g is Relation-like Function-like set

proj1 g is set

f is Relation-like Function-like set

g \/ f is Relation-like set

proj1 f is set

X . x is set

[x,(X . x)] is V14() set

{x,(X . x)} is set

{x} is set

{{x,(X . x)},{x}} is set

g . x is set

[x,(g . x)] is V14() set

{x,(g . x)} is set

{x} is set

{{x,(g . x)},{x}} is set

f . x is set

[x,(f . x)] is V14() set

{x,(f . x)} is set

{{x,(f . x)},{x}} is set

x is set

X is Relation-like Function-like set

proj1 X is set

X . x is set

g is Relation-like Function-like set

g . x is set

f is Relation-like Function-like set

f \/ X is Relation-like set

[x,(X . x)] is V14() set

{x,(X . x)} is set

{x} is set

{{x,(X . x)},{x}} is set

x is set

X is Relation-like Function-like set

proj1 X is set

X . x is set

g is Relation-like Function-like set

g . x is set

f is Relation-like Function-like set

g \/ f is Relation-like set

f . x is set

[x,(X . x)] is V14() set

{x,(X . x)} is set

{x} is set

{{x,(X . x)},{x}} is set

x is Relation-like Function-like set

proj2 x is set

X is Relation-like Function-like set

x \/ X is Relation-like set

proj2 X is set

g is Relation-like Function-like set

(proj2 x) /\ (proj2 X) is set

f is set

proj1 g is set

z is set

g . f is set

g . z is set

proj1 x is set

proj1 X is set

x . f is set

X . z is set

X . f is set

x . z is set

x is Relation-like Function-like set

x " is Relation-like Function-like set

X is set

g is set

[g,X] is V14() set

{g,X} is set

{g} is set

{{g,X},{g}} is set

[X,g] is V14() set

{X,g} is set

{X} is set

{{X,g},{X}} is set

proj1 (x ") is set

proj2 x is set

(x ") . g is set

proj1 x is set

x . X is set

x is Relation-like Function-like set

x " is Relation-like Function-like set

proj1 (x ") is set

x is set

X is set

g is Relation-like Function-like set

proj1 g is set

g . x is set

[x,(g . x)] is V14() set

{x,(g . x)} is set

{x} is set

{{x,(g . x)},{x}} is set

g | X is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

X | (proj1 x) is Relation-like Function-like set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

x . g is set

[g,(x . g)] is V14() set

{g,(x . g)} is set

{{g,(x . g)},{g}} is set

x | (proj1 x) is Relation-like Function-like set

x is set

X is set

g is Relation-like Function-like set

proj1 g is set

g . x is set

[x,(g . x)] is V14() set

{x,(g . x)} is set

{x} is set

{{x,(g . x)},{x}} is set

X |` g is Relation-like Function-like set

x is Relation-like Function-like set

proj2 x is set

X is Relation-like Function-like set

(proj2 x) |` X is Relation-like Function-like set

g is set

f is set

[g,f] is V14() set

{g,f} is set

{g} is set

{{g,f},{g}} is set

z is set

[z,f] is V14() set

{z,f} is set

{z} is set

{{z,f},{z}} is set

(proj2 x) |` x is Relation-like Function-like set

x is set

X is set

g is Relation-like Function-like set

g " X is set

g . x is set

[x,(g . x)] is V14() set

{x,(g . x)} is set

{x} is set

{{x,(g . x)},{x}} is set

f is set

[x,f] is V14() set

{x,f} is set

{{x,f},{x}} is set

x is set

X is Relation-like Function-like set

proj1 X is set

g is Relation-like Function-like set

X | x is Relation-like Function-like set

g | x is Relation-like Function-like set

g | (proj1 X) is Relation-like Function-like set

(g | (proj1 X)) | x is Relation-like Function-like set

(proj1 X) /\ x is set

g | ((proj1 X) /\ x) is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is set

{X} is set

x | {X} is Relation-like Function-like set

x . X is set

[X,(x . X)] is V14() set

{X,(x . X)} is set

{{X,(x . X)},{X}} is set

{[X,(x . X)]} is Relation-like Function-like set

proj1 (x | {X}) is set

(proj1 x) /\ {X} is set

(x | {X}) . X is set

[X,((x | {X}) . X)] is V14() set

{X,((x | {X}) . X)} is set

{{X,((x | {X}) . X)},{X}} is set

{[X,((x | {X}) . X)]} is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

g is set

x . g is set

X . g is set

{g} is set

x | {g} is Relation-like Function-like set

X | {g} is Relation-like Function-like set

[g,(X . g)] is V14() set

{g,(X . g)} is set

{{g,(X . g)},{g}} is set

{[g,(X . g)]} is Relation-like Function-like set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

g is set

x . g is set

X . g is set

f is set

x . f is set

X . f is set

{g,f} is set

x | {g,f} is Relation-like Function-like set

X | {g,f} is Relation-like Function-like set

{g} is set

x | {g} is Relation-like Function-like set

X | {g} is Relation-like Function-like set

{f} is set

x | {f} is Relation-like Function-like set

X | {f} is Relation-like Function-like set

{g} \/ {f} is set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

proj1 X is set

g is set

x . g is set

X . g is set

f is set

x . f is set

X . f is set

z is set

x . z is set

X . z is set

{g,f,z} is set

x | {g,f,z} is Relation-like Function-like set

X | {g,f,z} is Relation-like Function-like set

{g,f} is set

x | {g,f} is Relation-like Function-like set

X | {g,f} is Relation-like Function-like set

{z} is set

x | {z} is Relation-like Function-like set

X | {z} is Relation-like Function-like set

{g,f} \/ {z} is set

x is Relation-like Function-like set

X is set

x \ X is Relation-like Function-like Element of K10(x)

K10(x) is set

x is set

X is Relation-like Function-like set

proj1 X is set

g is Relation-like Function-like set

proj1 g is set

(proj1 X) \ (proj1 g) is Element of K10((proj1 X))

K10((proj1 X)) is set

X \ g is Relation-like Function-like Element of K10(X)

K10(X) is set

(X \ g) . x is set

X . x is set

proj1 (X \ g) is set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

X | (proj1 x) is Relation-like Function-like set

g is Relation-like Function-like set

g | (proj1 x) is Relation-like Function-like set

x is Relation-like Function-like set

K10(x) is set

X is Relation-like Function-like Element of K10(x)

g is Relation-like Function-like set

f is set

proj1 g is set

g . f is set

x . f is set

X . f is set

proj1 X is set

x is Relation-like Function-like set

proj1 x is set

X is Relation-like Function-like set

X | (proj1 x) is Relation-like Function-like set

proj1 X is set

proj1 (X | (proj1 x)) is set

g is set

x . g is set

(X | (proj1 x)) . g is set

X . g is set

x is Relation-like Function-like set

X is Relation-like Function-like x -compatible set

K10(X) is set

g is Relation-like Function-like Element of K10(X)

proj1 g is set

X | (proj1 g) is Relation-like Function-like x -compatible set

x is set

X is set

g is Relation-like Function-like set

proj1 g is set

g . x is set

f is Relation-like Function-like set

proj1 f is set

X /\ (proj1 f) is set

f . x is set