:: MCART_1 semantic presentation

h is set
f is set
[h,f] is pair set
{h,f} is non empty set
{h} is non empty set
{{h,f},{h}} is non empty set
[h,f] `1 is set
g is set
x is set
[g,x] is pair set
{g,x} is non empty set
{g} is non empty set
{{g,x},{g}} is non empty set
[g,x] `2 is set
h is pair set
h `1 is set
h `2 is set
[(h `1),(h `2)] is pair set
{(h `1),(h `2)} is non empty set
{(h `1)} is non empty set
{{(h `1),(h `2)},{(h `1)}} is non empty set
h is set
f is set
g is set
x is set
x1 is set
[x,x1] is pair set
{x,x1} is non empty set
{x} is non empty set
{{x,x1},{x}} is non empty set
h is set
h `1 is set
h `2 is set
f is set
g is set
[:f,g:] is Relation-like set
x is set
x1 is set
[x,x1] is pair set
{x,x1} is non empty set
{x} is non empty set
{{x,x1},{x}} is non empty set
[x,x1] `1 is set
[x,x1] `2 is set
h is set
h `1 is set
h `2 is set
f is set
g is set
[:f,g:] is Relation-like set
[(h `1),(h `2)] is pair set
{(h `1),(h `2)} is non empty set
{(h `1)} is non empty set
{{(h `1),(h `2)},{(h `1)}} is non empty set
x is set
x1 is set
[x,x1] is pair set
{x,x1} is non empty set
{x} is non empty set
{{x,x1},{x}} is non empty set
h is set
h `1 is set
h `2 is set
f is set
{f} is non empty set
g is set

h is set
h `1 is set
h `2 is set
f is set
g is set
{g} is non empty set

h is set
h `1 is set
h `2 is set
f is set
{f} is non empty set
g is set
{g} is non empty set
[:{f},{g}:] is non empty Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
{f,g} is non empty set
x is set
[:{f,g},x:] is Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
x is set
{g,x} is non empty set
[:f,{g,x}:] is Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
{f,g} is non empty set
x is set
{x} is non empty set
[:{f,g},{x}:] is non empty Relation-like set
h is set
h `1 is set
h `2 is set
f is set
{f} is non empty set
g is set
x is set
{g,x} is non empty set
[:{f},{g,x}:] is non empty Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
{f,g} is non empty set
x is set
x1 is set
{x,x1} is non empty set
[:{f,g},{x,x1}:] is non empty Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
[f,g] `1 is set
[f,g] `2 is set
h is set
h `1 is set
h `2 is set
[(h `1),(h `2)] is pair set
{(h `1),(h `2)} is non empty set
{(h `1)} is non empty set
{{(h `1),(h `2)},{(h `1)}} is non empty set

g is set
x is set
[g,x] is pair set
{g,x} is non empty set
{g} is non empty set
{{g,x},{g}} is non empty set
h is set
f is set
[:h,f:] is Relation-like set
g is Element of [:h,f:]
g `1 is set
g `2 is set
[(g `1),(g `2)] is pair set
{(g `1),(g `2)} is non empty set
{(g `1)} is non empty set
{{(g `1),(g `2)},{(g `1)}} is non empty set
h is set
f is set
[:h,f:] is Relation-like set
g is Element of [:h,f:]
g `2 is set
g `1 is set
x1 is Element of h
x is Element of f
[x1,x] is pair set
{x1,x} is non empty set
{x1} is non empty set
{{x1,x},{x1}} is non empty set
h is set
f is set
{h,f} is non empty set
g is set
[h,g] is pair set
{h,g} is non empty set
{h} is non empty set
{{h,g},{h}} is non empty set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
x is set
{g,x} is non empty set
[:{h,f},{g,x}:] is non empty Relation-like set
[h,x] is pair set
{h,x} is non empty set
{{h,x},{h}} is non empty set
[f,x] is pair set
{f,x} is non empty set
{{f,x},{f}} is non empty set
{[h,g],[h,x],[f,g],[f,x]} is non empty set
[:{h},{g,x}:] is non empty Relation-like set
[:{f},{g,x}:] is non empty Relation-like set
[:{h},{g,x}:] \/ [:{f},{g,x}:] is non empty Relation-like set
{[h,g],[h,x]} is non empty Relation-like set
{[h,g],[h,x]} \/ [:{f},{g,x}:] is non empty Relation-like set
{[f,g],[f,x]} is non empty Relation-like set
{[h,g],[h,x]} \/ {[f,g],[f,x]} is non empty Relation-like set
h is set
f is set
[:h,f:] is Relation-like set
g is Element of [:h,f:]
g `1 is set
g `2 is set
[(g `1),(g `2)] is pair set
{(g `1),(g `2)} is non empty set
{(g `1)} is non empty set
{{(g `1),(g `2)},{(g `1)}} is non empty set
h is set
f is set
g is set
x is set
x1 is set
x2 is set
[x,x1,x2] is pair triple set
[x,x1] is pair set
{x,x1} is non empty set
{x} is non empty set
{{x,x1},{x}} is non empty set
[[x,x1],x2] is pair set
{[x,x1],x2} is non empty set
{[x,x1]} is non empty Relation-like set
{{[x,x1],x2},{[x,x1]}} is non empty set
{{{x,x1},{x}},x2} is non empty set
h is set
f is set
g is set
x is set
x1 is set
x2 is set
A3 is set
[x,x1,x2,A3] is pair triple quadruple set
[x,x1,x2] is pair triple set
[x,x1] is pair set
{x,x1} is non empty set
{x} is non empty set
{{x,x1},{x}} is non empty set
[[x,x1],x2] is pair set
{[x,x1],x2} is non empty set
{[x,x1]} is non empty Relation-like set
{{[x,x1],x2},{[x,x1]}} is non empty set
[[x,x1,x2],A3] is pair set
{[x,x1,x2],A3} is non empty set
{[x,x1,x2]} is non empty set
{{[x,x1,x2],A3},{[x,x1,x2]}} is non empty set
{{{x,x1},{x}},x2} is non empty set
{{{x,x1},{x}}} is non empty set
{{{{x,x1},{x}},x2},{{{x,x1},{x}}}} is non empty set
{{{{{x,x1},{x}},x2},{{{x,x1},{x}}}},A3} is non empty set
h is set
f is set
g is set
[:h,f,g:] is set
[:h,f:] is Relation-like set
[:[:h,f:],g:] is Relation-like set
h is set
f is set
g is set
[:h,f,g:] is set
x is set
x1 is set
x2 is set
[:x,x1,x2:] is set
[:h,f:] is Relation-like set
[:[:h,f:],g:] is Relation-like set
[:x,x1:] is Relation-like set
[:[:x,x1:],x2:] is Relation-like set
h is set
f is set
g is set
[:h,f,g:] is set
x is set
x1 is set
x2 is set
[:x,x1,x2:] is set
h is set
[:h,h,h:] is set
f is set
[:f,f,f:] is set
h is set
f is set
g is set
[:h,f,g:] is set
x is Element of [:h,f,g:]
[:h,f:] is Relation-like set
[:[:h,f:],g:] is Relation-like set
x1 is Element of [:[:h,f:],g:]
x2 is Element of [:h,f:]
A3 is Element of g
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
A4 is Element of h
x is Element of f
[A4,x] is pair set
{A4,x} is non empty set
{A4} is non empty set
{{A4,x},{A4}} is non empty set
[A4,x,A3] is pair triple set
[[A4,x],A3] is pair set
{[A4,x],A3} is non empty set
{[A4,x]} is non empty Relation-like set
{{[A4,x],A3},{[A4,x]}} is non empty set
h is set
{h} is non empty set
f is set
{f} is non empty set
g is set
{g} is non empty set
[:{h},{f},{g}:] is non empty set
[h,f,g] is pair triple set
[h,f] is pair set
{h,f} is non empty set
{{h,f},{h}} is non empty set
[[h,f],g] is pair set
{[h,f],g} is non empty set
{[h,f]} is non empty Relation-like set
{{[h,f],g},{[h,f]}} is non empty set
{[h,f,g]} is non empty set
[:{h},{f}:] is non empty Relation-like set
[:[:{h},{f}:],{g}:] is non empty Relation-like set
[:{[h,f]},{g}:] is non empty Relation-like set
h is set
f is set
{h,f} is non empty set
g is set
{g} is non empty set
x is set
{x} is non empty set
[:{h,f},{g},{x}:] is non empty set
[h,g,x] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{h} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x] is pair set
{[h,g],x} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x},{[h,g]}} is non empty set
[f,g,x] is pair triple set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
[[f,g],x] is pair set
{[f,g],x} is non empty set
{[f,g]} is non empty Relation-like set
{{[f,g],x},{[f,g]}} is non empty set
{[h,g,x],[f,g,x]} is non empty set
[:{h,f},{g}:] is non empty Relation-like set
[:[:{h,f},{g}:],{x}:] is non empty Relation-like set
{[h,g],[f,g]} is non empty Relation-like set
[:{[h,g],[f,g]},{x}:] is non empty Relation-like set
h is set
{h} is non empty set
f is set
g is set
{f,g} is non empty set
x is set
{x} is non empty set
[:{h},{f,g},{x}:] is non empty set
[h,f,x] is pair triple set
[h,f] is pair set
{h,f} is non empty set
{{h,f},{h}} is non empty set
[[h,f],x] is pair set
{[h,f],x} is non empty set
{[h,f]} is non empty Relation-like set
{{[h,f],x},{[h,f]}} is non empty set
[h,g,x] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x] is pair set
{[h,g],x} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x},{[h,g]}} is non empty set
{[h,f,x],[h,g,x]} is non empty set
[:{h},{f,g}:] is non empty Relation-like set
[:[:{h},{f,g}:],{x}:] is non empty Relation-like set
{[h,f],[h,g]} is non empty Relation-like set
[:{[h,f],[h,g]},{x}:] is non empty Relation-like set
h is set
{h} is non empty set
f is set
{f} is non empty set
g is set
[h,f,g] is pair triple set
[h,f] is pair set
{h,f} is non empty set
{{h,f},{h}} is non empty set
[[h,f],g] is pair set
{[h,f],g} is non empty set
{[h,f]} is non empty Relation-like set
{{[h,f],g},{[h,f]}} is non empty set
x is set
{g,x} is non empty set
[:{h},{f},{g,x}:] is non empty set
[h,f,x] is pair triple set
[[h,f],x] is pair set
{[h,f],x} is non empty set
{{[h,f],x},{[h,f]}} is non empty set
{[h,f,g],[h,f,x]} is non empty set
[:{h},{f}:] is non empty Relation-like set
[:[:{h},{f}:],{g,x}:] is non empty Relation-like set
[:{[h,f]},{g,x}:] is non empty Relation-like set
h is set
f is set
{h,f} is non empty set
g is set
x is set
{g,x} is non empty set
x1 is set
{x1} is non empty set
[:{h,f},{g,x},{x1}:] is non empty set
[h,g,x1] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{h} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x1] is pair set
{[h,g],x1} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x1},{[h,g]}} is non empty set
[f,g,x1] is pair triple set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
[[f,g],x1] is pair set
{[f,g],x1} is non empty set
{[f,g]} is non empty Relation-like set
{{[f,g],x1},{[f,g]}} is non empty set
[h,x,x1] is pair triple set
[h,x] is pair set
{h,x} is non empty set
{{h,x},{h}} is non empty set
[[h,x],x1] is pair set
{[h,x],x1} is non empty set
{[h,x]} is non empty Relation-like set
{{[h,x],x1},{[h,x]}} is non empty set
[f,x,x1] is pair triple set
[f,x] is pair set
{f,x} is non empty set
{{f,x},{f}} is non empty set
[[f,x],x1] is pair set
{[f,x],x1} is non empty set
{[f,x]} is non empty Relation-like set
{{[f,x],x1},{[f,x]}} is non empty set
{[h,g,x1],[f,g,x1],[h,x,x1],[f,x,x1]} is non empty set
[:{h,f},{g,x}:] is non empty Relation-like set
[:[:{h,f},{g,x}:],{x1}:] is non empty Relation-like set
{[h,g],[h,x],[f,g],[f,x]} is non empty set
[:{[h,g],[h,x],[f,g],[f,x]},{x1}:] is non empty Relation-like set
{[h,g],[h,x]} is non empty Relation-like set
{[f,g],[f,x]} is non empty Relation-like set
{[h,g],[h,x]} \/ {[f,g],[f,x]} is non empty Relation-like set
[:({[h,g],[h,x]} \/ {[f,g],[f,x]}),{x1}:] is non empty Relation-like set
[:{[h,g],[h,x]},{x1}:] is non empty Relation-like set
[:{[f,g],[f,x]},{x1}:] is non empty Relation-like set
[:{[h,g],[h,x]},{x1}:] \/ [:{[f,g],[f,x]},{x1}:] is non empty Relation-like set
{[[h,g],x1],[[h,x],x1]} is non empty Relation-like set
{[[h,g],x1],[[h,x],x1]} \/ [:{[f,g],[f,x]},{x1}:] is non empty Relation-like set
{[[f,g],x1],[[f,x],x1]} is non empty Relation-like set
{[[h,g],x1],[[h,x],x1]} \/ {[[f,g],x1],[[f,x],x1]} is non empty Relation-like set
{[h,g,x1],[h,x,x1],[f,g,x1],[[f,x],x1]} is non empty set
h is set
f is set
{h,f} is non empty set
g is set
{g} is non empty set
x is set
[h,g,x] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{h} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x] is pair set
{[h,g],x} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x},{[h,g]}} is non empty set
[f,g,x] is pair triple set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
[[f,g],x] is pair set
{[f,g],x} is non empty set
{[f,g]} is non empty Relation-like set
{{[f,g],x},{[f,g]}} is non empty set
x1 is set
{x,x1} is non empty set
[:{h,f},{g},{x,x1}:] is non empty set
[h,g,x1] is pair triple set
[[h,g],x1] is pair set
{[h,g],x1} is non empty set
{{[h,g],x1},{[h,g]}} is non empty set
[f,g,x1] is pair triple set
[[f,g],x1] is pair set
{[f,g],x1} is non empty set
{{[f,g],x1},{[f,g]}} is non empty set
{[h,g,x],[f,g,x],[h,g,x1],[f,g,x1]} is non empty set
[:{h,f},{g}:] is non empty Relation-like set
[:[:{h,f},{g}:],{x,x1}:] is non empty Relation-like set
{[h,g],[f,g]} is non empty Relation-like set
[:{[h,g],[f,g]},{x,x1}:] is non empty Relation-like set
{[[h,g],x],[[h,g],x1],[[f,g],x],[[f,g],x1]} is non empty set
h is set
{h} is non empty set
f is set
g is set
{f,g} is non empty set
x is set
[h,f,x] is pair triple set
[h,f] is pair set
{h,f} is non empty set
{{h,f},{h}} is non empty set
[[h,f],x] is pair set
{[h,f],x} is non empty set
{[h,f]} is non empty Relation-like set
{{[h,f],x},{[h,f]}} is non empty set
[h,g,x] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x] is pair set
{[h,g],x} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x},{[h,g]}} is non empty set
x1 is set
{x,x1} is non empty set
[:{h},{f,g},{x,x1}:] is non empty set
[h,f,x1] is pair triple set
[[h,f],x1] is pair set
{[h,f],x1} is non empty set
{{[h,f],x1},{[h,f]}} is non empty set
[h,g,x1] is pair triple set
[[h,g],x1] is pair set
{[h,g],x1} is non empty set
{{[h,g],x1},{[h,g]}} is non empty set
{[h,f,x],[h,g,x],[h,f,x1],[h,g,x1]} is non empty set
[:{h},{f,g}:] is non empty Relation-like set
[:[:{h},{f,g}:],{x,x1}:] is non empty Relation-like set
{[h,f],[h,g]} is non empty Relation-like set
[:{[h,f],[h,g]},{x,x1}:] is non empty Relation-like set
{[[h,f],x],[[h,f],x1],[[h,g],x],[[h,g],x1]} is non empty set
h is set
f is set
{h,f} is non empty set
g is set
x is set
{g,x} is non empty set
x1 is set
[h,g,x1] is pair triple set
[h,g] is pair set
{h,g} is non empty set
{h} is non empty set
{{h,g},{h}} is non empty set
[[h,g],x1] is pair set
{[h,g],x1} is non empty set
{[h,g]} is non empty Relation-like set
{{[h,g],x1},{[h,g]}} is non empty set
[h,x,x1] is pair triple set
[h,x] is pair set
{h,x} is non empty set
{{h,x},{h}} is non empty set
[[h,x],x1] is pair set
{[h,x],x1} is non empty set
{[h,x]} is non empty Relation-like set
{{[h,x],x1},{[h,x]}} is non empty set
[f,g,x1] is pair triple set
[f,g] is pair set
{f,g} is non empty set
{f} is non empty set
{{f,g},{f}} is non empty set
[[f,g],x1] is pair set
{[f,g],x1} is non empty set
{[f,g]} is non empty Relation-like set
{{[f,g],x1},{[f,g]}} is non empty set
[f,x,x1] is pair triple set
[f,x] is pair set
{f,x} is non empty set
{{f,x},{f}} is non empty set
[[f,x],x1] is pair set
{[f,x],x1} is non empty set
{[f,x]} is non empty Relation-like set
{{[f,x],x1},{[f,x]}} is non empty set
x2 is set
{x1,x2} is non empty set
[:{h,f},{g,x},{x1,x2}:] is non empty set
[h,g,x2] is pair triple set
[[h,g],x2] is pair set
{[h,g],x2} is non empty set
{{[h,g],x2},{[h,g]}} is non empty set
[h,x,x2] is pair triple set
[[h,x],x2] is pair set
{[h,x],x2} is non empty set
{{[h,x],x2},{[h,x]}} is non empty set
[f,g,x2] is pair triple set
[[f,g],x2] is pair set
{[f,g],x2} is non empty set
{{[f,g],x2},{[f,g]}} is non empty set
[f,x,x2] is pair triple set
[[f,x],x2] is pair set
{[f,x],x2} is non empty set
{{[f,x],x2},{[f,x]}} is non empty set
{[h,g,x1],[h,x,x1],[h,g,x2],[h,x,x2],[f,g,x1],[f,x,x1],[f,g,x2],[f,x,x2]} is non empty set
{[h,g],[h,x]} is non empty Relation-like set
[:{[h,g],[h,x]},{x1,x2}:] is non empty Relation-like set
{[[h,g],x1],[[h,g],x2],[[h,x],x1],[[h,x],x2]} is non empty set
{[h,g,x1],[h,x,x1],[h,g,x2],[h,x,x2]} is non empty set
{[f,g],[f,x]} is non empty Relation-like set
[:{[f,g],[f,x]},{x1,x2}:] is non empty Relation-like set
{[[f,g],x1],[[f,g],x2],[[f,x],x1],[[f,x],x2]} is non empty set
{[f,g,x1],[f,x,x1],[f,g,x2],[f,x,x2]} is non empty set
[:{h,f},{g,x}:] is non empty Relation-like set
[:[:{h,f},{g,x}:],{x1,x2}:] is non empty Relation-like set
{[h,g],[h,x],[f,g],[f,x]} is non empty set
[:{[h,g],[h,x],[f,g],[f,x]},{x1,x2}:] is non empty Relation-like set
{[h,g],[h,x]} \/ {[f,g],[f,x]} is non empty Relation-like set
[:({[h,g],[h,x]} \/ {[f,g],[f,x]}),{x1,x2}:] is non empty Relation-like set
{[h,g,x1],[h,x,x1],[h,g,x2],[h,x,x2]} \/ {[f,g,x1],[f,x,x1],[f,g,x2],[f,x,x2]} is non empty set
h is non empty set
f is non empty set
g is non empty set
[:h,f,g:] is non empty set
x is Element of [:h,f,g:]
x1 is Element of h
x2 is Element of f
A3 is Element of g
[x1,x2,A3] is pair triple set
[x1,x2] is pair set
{x1,x2} is non empty set
{x1} is non empty set
{{x1,x2},{x1}} is non empty set
[[x1,x2],A3] is pair set
{[x1,x2],A3} is non empty set
{[x1,x2]} is non empty Relation-like set
{{[x1,x2],A3},{[x1,x2]}} is non empty set
h is non empty set
f is non empty set
g is non empty set
[:h,f,g:] is non empty set
x is pair triple Element of [:h,f,g:]
x `1_3 is set
x `1 is set
(x `1) `1 is set
x1 is Element of h
x2 is Element of f
A3 is Element of g
[x1,x2,A3] is pair triple set
[x1,x2] is pair set
{x1,x2} is non empty set
{x1} is non empty set
{{x1,x2},{x1}} is non empty set
[[x1,x2],A3] is pair set
{[x1,x2],A3} is non empty set
{[x1,x2]} is non empty Relation-like set
{{[x1,x2],A3},{[x1,x2]}} is non empty set
[x1,x2,A3] `1_3 is set
[x1,x2,A3] `1 is set
([x1,x2,A3] `1) `1 is set
x1 is Element of h
x2 is set
A3 is set
A4 is set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `1_3 is set
[x2,A3,A4] `1 is set
([x2,A3,A4] `1) `1 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `1_3 is set
[x2,A3,A4] `1 is set
([x2,A3,A4] `1) `1 is set
x `2_3 is set
(x `1) `2 is set
x1 is Element of h
x2 is Element of f
A3 is Element of g
[x1,x2,A3] is pair triple set
[x1,x2] is pair set
{x1,x2} is non empty set
{x1} is non empty set
{{x1,x2},{x1}} is non empty set
[[x1,x2],A3] is pair set
{[x1,x2],A3} is non empty set
{[x1,x2]} is non empty Relation-like set
{{[x1,x2],A3},{[x1,x2]}} is non empty set
[x1,x2,A3] `2_3 is set
[x1,x2,A3] `1 is set
([x1,x2,A3] `1) `2 is set
x1 is Element of f
x2 is set
A3 is set
A4 is set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `2_3 is set
[x2,A3,A4] `1 is set
([x2,A3,A4] `1) `2 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `2_3 is set
[x2,A3,A4] `1 is set
([x2,A3,A4] `1) `2 is set
x `2 is set
x1 is Element of h
x2 is Element of f
A3 is Element of g
[x1,x2,A3] is pair triple set
[x1,x2] is pair set
{x1,x2} is non empty set
{x1} is non empty set
{{x1,x2},{x1}} is non empty set
[[x1,x2],A3] is pair set
{[x1,x2],A3} is non empty set
{[x1,x2]} is non empty Relation-like set
{{[x1,x2],A3},{[x1,x2]}} is non empty set
[x1,x2,A3] `2 is set
x1 is Element of g
x2 is set
A3 is set
A4 is set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `2 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[x2,A3,A4] `2 is set
h is non empty set
f is non empty set
g is non empty set
[:h,f,g:] is non empty set
x is pair triple Element of [:h,f,g:]
(h,f,g,x) is Element of h
x `1 is set
(x `1) `1 is set
(h,f,g,x) is Element of f
(x `1) `2 is set
(h,f,g,x) is Element of g
[(h,f,g,x),(h,f,g,x),(h,f,g,x)] is pair triple set
[(h,f,g,x),(h,f,g,x)] is pair set
{(h,f,g,x),(h,f,g,x)} is non empty set
{(h,f,g,x)} is non empty set
{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}} is non empty set
[[(h,f,g,x),(h,f,g,x)],(h,f,g,x)] is pair set
{[(h,f,g,x),(h,f,g,x)],(h,f,g,x)} is non empty set
{[(h,f,g,x),(h,f,g,x)]} is non empty Relation-like set
{{[(h,f,g,x),(h,f,g,x)],(h,f,g,x)},{[(h,f,g,x),(h,f,g,x)]}} is non empty set
h is set
f is set
g is set
[:h,f,g:] is set
[:f,g,h:] is set
[:g,h,f:] is set
x is non empty set
x1 is non empty set
x2 is non empty set
[:x,x1,x2:] is non empty set
A3 is set
A4 is pair triple Element of [:x,x1,x2:]
(x,x1,x2,A4) is Element of x
A4 `1 is set
(A4 `1) `1 is set
(x,x1,x2,A4) is Element of x1
(A4 `1) `2 is set
(x,x1,x2,A4) is Element of x2
[(x,x1,x2,A4),(x,x1,x2,A4),(x,x1,x2,A4)] is pair triple set
[(x,x1,x2,A4),(x,x1,x2,A4)] is pair set
{(x,x1,x2,A4),(x,x1,x2,A4)} is non empty set
{(x,x1,x2,A4)} is non empty set
{{(x,x1,x2,A4),(x,x1,x2,A4)},{(x,x1,x2,A4)}} is non empty set
[[(x,x1,x2,A4),(x,x1,x2,A4)],(x,x1,x2,A4)] is pair set
{[(x,x1,x2,A4),(x,x1,x2,A4)],(x,x1,x2,A4)} is non empty set
{[(x,x1,x2,A4),(x,x1,x2,A4)]} is non empty Relation-like set
{{[(x,x1,x2,A4),(x,x1,x2,A4)],(x,x1,x2,A4)},{[(x,x1,x2,A4),(x,x1,x2,A4)]}} is non empty set
x is non empty set
x1 is non empty set
x2 is non empty set
[:x1,x2,x:] is non empty set
[:x1,x2:] is non empty Relation-like set
[:[:x1,x2:],x:] is non empty Relation-like set
x is non empty set
x2 is non empty set
x1 is non empty set
[:x2,x,x1:] is non empty set
A3 is set
A4 is pair triple Element of [:x2,x,x1:]
(x2,x,x1,A4) is Element of x2
A4 `1 is set
(A4 `1) `1 is set
(x2,x,x1,A4) is Element of x
(A4 `1) `2 is set
(x2,x,x1,A4) is Element of x1
[(x2,x,x1,A4),(x2,x,x1,A4),(x2,x,x1,A4)] is pair triple set
[(x2,x,x1,A4),(x2,x,x1,A4)] is pair set
{(x2,x,x1,A4),(x2,x,x1,A4)} is non empty set
{(x2,x,x1,A4)} is non empty set
{{(x2,x,x1,A4),(x2,x,x1,A4)},{(x2,x,x1,A4)}} is non empty set
[[(x2,x,x1,A4),(x2,x,x1,A4)],(x2,x,x1,A4)] is pair set
{[(x2,x,x1,A4),(x2,x,x1,A4)],(x2,x,x1,A4)} is non empty set
{[(x2,x,x1,A4),(x2,x,x1,A4)]} is non empty Relation-like set
{{[(x2,x,x1,A4),(x2,x,x1,A4)],(x2,x,x1,A4)},{[(x2,x,x1,A4),(x2,x,x1,A4)]}} is non empty set
x is non empty set
x1 is non empty set
x2 is non empty set
[:x,x1,x2:] is non empty set
[:x1,x2,x:] is non empty set
[:x2,x,x1:] is non empty set
h is non empty set
f is non empty set
g is non empty set
[:h,f,g:] is non empty set
x is pair triple Element of [:h,f,g:]
(h,f,g,x) is Element of h
x `1 is set
(x `1) `1 is set
(h,f,g,x) is Element of f
(x `1) `2 is set
(h,f,g,x) is Element of g
{(h,f,g,x),(h,f,g,x)} is non empty set
{(h,f,g,x)} is non empty set
{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}} is non empty set
{{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}},(h,f,g,x)} is non empty set
{{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}}} is non empty set
{{{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}},(h,f,g,x)},{{{(h,f,g,x),(h,f,g,x)},{(h,f,g,x)}}}} is non empty set
[(h,f,g,x),(h,f,g,x),(h,f,g,x)] is pair triple set
[(h,f,g,x),(h,f,g,x)] is pair set
[[(h,f,g,x),(h,f,g,x)],(h,f,g,x)] is pair set
{[(h,f,g,x),(h,f,g,x)],(h,f,g,x)} is non empty set
{[(h,f,g,x),(h,f,g,x)]} is non empty Relation-like set
{{[(h,f,g,x),(h,f,g,x)],(h,f,g,x)},{[(h,f,g,x),(h,f,g,x)]}} is non empty set
h is set
f is set
g is set
[:h,f,g:] is set
x is set
x1 is set
x2 is set
[:x,x1,x2:] is set
[:h,f:] is Relation-like set
[:[:h,f:],g:] is Relation-like set
[:x,x1:] is Relation-like set
[:[:x,x1:],x2:] is Relation-like set
h is set
f is set
[:h,f:] is Relation-like set
g is set
[:[:h,f:],g:] is Relation-like set
x is set
[:h,f,g,x:] is set
[:[:[:h,f:],g:],x:] is Relation-like set
[:h,f,g:] is set
[:[:h,f,g:],x:] is Relation-like set
h is set
f is set
[:h,f:] is Relation-like set
g is set
x is set
[:[:h,f:],g,x:] is set
[:h,f,g,x:] is set
[:[:h,f:],g:] is Relation-like set
[:[:[:h,f:],g:],x:] is Relation-like set
h is set
f is set
g is set
x is set
[:h,f,g,x:] is set
[:h,f,g:] is set
[:[:h,f,g:],x:] is Relation-like set
h is set
f is set
g is set
x is set
[:h,f,g,x:] is set
x1 is set
x2 is set
A3 is set
A4 is set
[:x1,x2,A3,A4:] is set
[:h,f,g:] is set
[:[:h,f,g:],x:] is Relation-like set
[:x1,x2,A3:] is set
[:[:x1,x2,A3:],A4:] is Relation-like set
h is set
f is set
g is set
x is set
[:h,f,g,x:] is set
x1 is set
x2 is set
A3 is set
A4 is set
[:x1,x2,A3,A4:] is set
h is set
[:h,h,h,h:] is set
f is set
[:f,f,f,f:] is set
h is set
f is set
g is set
x is set
[:h,f,g,x:] is set
x1 is Element of [:h,f,g,x:]
[:h,f,g:] is set
[:[:h,f,g:],x:] is Relation-like set
x2 is Element of [:[:h,f,g:],x:]
A3 is Element of [:h,f,g:]
A4 is Element of x
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
x is Element of h
y is Element of f
x3 is Element of g
[x,y,x3] is pair triple set
[x,y] is pair set
{x,y} is non empty set
{x} is non empty set
{{x,y},{x}} is non empty set
[[x,y],x3] is pair set
{[x,y],x3} is non empty set
{[x,y]} is non empty Relation-like set
{{[x,y],x3},{[x,y]}} is non empty set
[x,y,x3,A4] is pair triple quadruple set
[[x,y,x3],A4] is pair set
{[x,y,x3],A4} is non empty set
{[x,y,x3]} is non empty set
{{[x,y,x3],A4},{[x,y,x3]}} is non empty set
h is non empty set
f is non empty set
g is non empty set
x is non empty set
[:h,f,g,x:] is non empty set
x1 is Element of [:h,f,g,x:]
x2 is Element of h
A3 is Element of f
A4 is Element of g
x is Element of x
[x2,A3,A4,x] is pair triple quadruple set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[[x2,A3,A4],x] is pair set
{[x2,A3,A4],x} is non empty set
{[x2,A3,A4]} is non empty set
{{[x2,A3,A4],x},{[x2,A3,A4]}} is non empty set
h is non empty set
f is non empty set
g is non empty set
x is non empty set
[:h,f,g,x:] is non empty set
x1 is pair triple quadruple Element of [:h,f,g,x:]
x1 `1_4 is set
x1 `1 is set
(x1 `1) `1 is set
((x1 `1) `1) `1 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
x is Element of x
[x2,A3,A4,x] is pair triple quadruple set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[[x2,A3,A4],x] is pair set
{[x2,A3,A4],x} is non empty set
{[x2,A3,A4]} is non empty set
{{[x2,A3,A4],x},{[x2,A3,A4]}} is non empty set
[x2,A3,A4,x] `1_4 is set
[x2,A3,A4,x] `1 is set
([x2,A3,A4,x] `1) `1 is set
(([x2,A3,A4,x] `1) `1) `1 is set
x2 is Element of h
A3 is set
A4 is set
x is set
y is set
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `1_4 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `1 is set
(([A3,A4,x,y] `1) `1) `1 is set
A3 is Element of h
A4 is Element of f
x is Element of g
y is Element of x
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `1_4 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `1 is set
(([A3,A4,x,y] `1) `1) `1 is set
x1 `2_4 is set
((x1 `1) `1) `2 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
x is Element of x
[x2,A3,A4,x] is pair triple quadruple set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[[x2,A3,A4],x] is pair set
{[x2,A3,A4],x} is non empty set
{[x2,A3,A4]} is non empty set
{{[x2,A3,A4],x},{[x2,A3,A4]}} is non empty set
[x2,A3,A4,x] `2_4 is set
[x2,A3,A4,x] `1 is set
([x2,A3,A4,x] `1) `1 is set
(([x2,A3,A4,x] `1) `1) `2 is set
x2 is Element of f
A3 is set
A4 is set
x is set
y is set
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `2_4 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `1 is set
(([A3,A4,x,y] `1) `1) `2 is set
A3 is Element of h
A4 is Element of f
x is Element of g
y is Element of x
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `2_4 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `1 is set
(([A3,A4,x,y] `1) `1) `2 is set
x1 `2_3 is set
(x1 `1) `2 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
x is Element of x
[x2,A3,A4,x] is pair triple quadruple set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[[x2,A3,A4],x] is pair set
{[x2,A3,A4],x} is non empty set
{[x2,A3,A4]} is non empty set
{{[x2,A3,A4],x},{[x2,A3,A4]}} is non empty set
[x2,A3,A4,x] `2_3 is set
[x2,A3,A4,x] `1 is set
([x2,A3,A4,x] `1) `2 is set
x2 is Element of g
A3 is set
A4 is set
x is set
y is set
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `2_3 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `2 is set
A3 is Element of h
A4 is Element of f
x is Element of g
y is Element of x
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x},{[A3,A4]}} is non empty set
[[A3,A4,x],y] is pair set
{[A3,A4,x],y} is non empty set
{[A3,A4,x]} is non empty set
{{[A3,A4,x],y},{[A3,A4,x]}} is non empty set
[A3,A4,x,y] `2_3 is set
[A3,A4,x,y] `1 is set
([A3,A4,x,y] `1) `2 is set
x1 `2 is set
x2 is Element of h
A3 is Element of f
A4 is Element of g
x is Element of x
[x2,A3,A4,x] is pair triple quadruple set
[x2,A3,A4] is pair triple set
[x2,A3] is pair set
{x2,A3} is non empty set
{x2} is non empty set
{{x2,A3},{x2}} is non empty set
[[x2,A3],A4] is pair set
{[x2,A3],A4} is non empty set
{[x2,A3]} is non empty Relation-like set
{{[x2,A3],A4},{[x2,A3]}} is non empty set
[[x2,A3,A4],x] is pair set
{[x2,A3,A4],x} is non empty set
{[x2,A3,A4]} is non empty set
{{[x2,A3,A4],x},{[x2,A3,A4]}} is non empty set
[x2,A3,A4,x] `2 is set
x2 is Element of x
A3 is set
A4 is set
x is set
y is set
[A3,A4,x,y] is pair triple quadruple set
[A3,A4,x] is pair triple set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[[A3,A4],x] is pair set
{[A3,A4],x} is non empty set