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