:: GRFUNC_1 semantic presentation

{} is set

X is set

proj1 x is 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

proj1 x is 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

proj2 g is set
proj1 g is set
g . x is set

proj2 f is set
() /\ () 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

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 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 is set
X is set
[x,X] is V14() set
{x,X} is set
{x} is set
{{x,X},{x}} is set

g . x is set
x is set
{x} is 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

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 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

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 set

x is set

X . x is 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

proj1 x is set

proj1 X is set

() /\ () 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 set

proj1 X is set

proj1 g is 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

proj1 X is set
X . x is set

g . 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 set

proj1 X is set
X . x is set

g . x is 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

proj2 x is set

proj2 X is set

() /\ () 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 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

proj1 (x ") is set
x is set
X is 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

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

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

proj2 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
z is set
[z,f] is V14() set
{z,f} is set
{z} is set
{{z,f},{z}} is set

x is set
X is 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

proj1 X is set

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

proj1 x is set
X is set
{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
proj1 (x | {X}) is set
() /\ {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

proj1 x is set

proj1 X is set
g is set
x . g is set
X . g is set
{g} is 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

proj1 x is 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

{g} is set

{f} is set

{g} \/ {f} is set

proj1 x is 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

{z} is set

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

X is set

K10(x) is set
x is set

proj1 X is set

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

K10(X) is set
(X \ g) . x is set
X . x is set
proj1 (X \ g) is set

proj1 x is set

K10(x) is set

f is set
proj1 g is set
g . f is set
x . f is set
X . f is set
proj1 X is set

proj1 x is set

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

K10(X) is set

proj1 g is set

x is set
X is set

proj1 g is set
g . x is set

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