{} is empty Relation-like non-empty empty-yielding set
the empty Relation-like non-empty empty-yielding set is empty Relation-like non-empty empty-yielding set
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
[:{f},g:] is Relation-like set
h is set
h `1 is set
h `2 is set
f is set
g is set
{g} is non empty set
[:f,{g}:] is 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
{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
f is Relation-like 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
{[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 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 is 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:]
(h,f,g,x,x1) is Element of h
x1 `1 is set
(x1 `1) `1 is set
((x1 `1) `1) `1 is set
(h,f,g,x,x1) is Element of f
((x1 `1) `1) `2 is set
(h,f,g,x,x1) is Element of g
(x1 `1) `2 is set
(h,f,g,x,x1) is Element of x
[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)] is pair triple quadruple set
[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)] is pair triple set
[(h,f,g,x,x1),(h,f,g,x,x1)] is pair set
{(h,f,g,x,x1),(h,f,g,x,x1)} is non empty set
{(h,f,g,x,x1)} is non empty set
{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}} is non empty set
[[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)] is pair set
{[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)} is non empty set
{[(h,f,g,x,x1),(h,f,g,x,x1)]} is non empty Relation-like set
{{[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)},{[(h,f,g,x,x1),(h,f,g,x,x1)]}} is non empty set
[[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)] is pair set
{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)} is non empty set
{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)]} is non empty set
{{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)},{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)]}} 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:]
(h,f,g,x,x1) is Element of h
x1 `1 is set
(x1 `1) `1 is set
((x1 `1) `1) `1 is set
(h,f,g,x,x1) is Element of f
((x1 `1) `1) `2 is set
(h,f,g,x,x1) is Element of g
(x1 `1) `2 is set
(h,f,g,x,x1) is Element of x
[:h,f:] is non empty Relation-like set
x2 is non empty set
A3 is non empty set
A4 is non empty set
[:x2,A3,A4:] is non empty set
{(h,f,g,x,x1),(h,f,g,x,x1)} is non empty set
{(h,f,g,x,x1)} is non empty set
{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}} is non empty set
{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)} is non empty set
{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}} is non empty set
{{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)},{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}}} is non empty set
{{{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)},{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}}},(h,f,g,x,x1)} is non empty set
{{{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)},{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}}}} is non empty set
{{{{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)},{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}}},(h,f,g,x,x1)},{{{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}},(h,f,g,x,x1)},{{{(h,f,g,x,x1),(h,f,g,x,x1)},{(h,f,g,x,x1)}}}}}} is non empty set
[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)] is pair triple quadruple set
[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)] is pair triple set
[(h,f,g,x,x1),(h,f,g,x,x1)] is pair set
[[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)] is pair set
{[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)} is non empty set
{[(h,f,g,x,x1),(h,f,g,x,x1)]} is non empty Relation-like set
{{[(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)},{[(h,f,g,x,x1),(h,f,g,x,x1)]}} is non empty set
[[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)] is pair set
{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)} is non empty set
{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)]} is non empty set
{{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)],(h,f,g,x,x1)},{[(h,f,g,x,x1),(h,f,g,x,x1),(h,f,g,x,x1)]}} is non empty set
x is pair triple Element of [:x2,A3,A4:]
(x2,A3,A4,x) is Element of A3
x `1 is set
(x `1) `2 is set
h is set
f is set
g is set
x is set
[:h,f,g,x:] is set
[:f,g,x,h:] is set
[:g,x,h,f:] is set
[:x,h,f,g:] is set
x1 is non empty set
x2 is non empty set
A3 is non empty set
A4 is non empty set
[:x1,x2,A3,A4:] is non empty set
x is set
y is pair triple quadruple Element of [:x1,x2,A3,A4:]
(x1,x2,A3,A4,y) is Element of x1
y `1 is set
(y `1) `1 is set
((y `1) `1) `1 is set
(x1,x2,A3,A4,y) is Element of x2
((y `1) `1) `2 is set
(x1,x2,A3,A4,y) is Element of A3
(y `1) `2 is set
(x1,x2,A3,A4,y) is Element of A4
[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)] is pair triple quadruple set
[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)] is pair triple set
[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)] is pair set
{(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)} is non empty set
{(x1,x2,A3,A4,y)} is non empty set
{{(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)},{(x1,x2,A3,A4,y)}} is non empty set
[[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)] is pair set
{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)} is non empty set
{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)]} is non empty Relation-like set
{{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)},{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)]}} is non empty set
[[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)] is pair set
{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)} is non empty set
{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)]} is non empty set
{{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)],(x1,x2,A3,A4,y)},{[(x1,x2,A3,A4,y),(x1,x2,A3,A4,y),(x1,x2,A3,A4,y)]}} is non empty set
x1 is non empty set
x2 is non empty set
A3 is non empty set
A4 is non empty set
[:x2,A3,A4,x1:] is non empty set
[:x2,A3:] is non empty Relation-like set
[:[:x2,A3:],A4,x1:] is non empty set
x1 is non empty set
A3 is non empty set
A4 is non empty set
x2 is non empty set
[:A3,A4,x1,x2:] is non empty set
[:A3,A4:] is non empty Relation-like set
[:[:A3,A4:],x1,x2:] is non empty set
x1 is non empty set
A4 is non empty set
x2 is non empty set
A3 is non empty set
[:A4,x1,x2,A3:] is non empty set
x is set
y is pair triple quadruple Element of [:A4,x1,x2,A3:]
(A4,x1,x2,A3,y) is Element of A4
y `1 is set
(y `1) `1 is set
((y `1) `1) `1 is set
(A4,x1,x2,A3,y) is Element of x1
((y `1) `1) `2 is set
(A4,x1,x2,A3,y) is Element of x2
(y `1) `2 is set
(A4,x1,x2,A3,y) is Element of A3
[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)] is pair triple quadruple set
[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)] is pair triple set
[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)] is pair set
{(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)} is non empty set
{(A4,x1,x2,A3,y)} is non empty set
{{(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)},{(A4,x1,x2,A3,y)}} is non empty set
[[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)] is pair set
{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)} is non empty set
{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)]} is non empty Relation-like set
{{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)},{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)]}} is non empty set
[[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)] is pair set
{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)} is non empty set
{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)]} is non empty set
{{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)],(A4,x1,x2,A3,y)},{[(A4,x1,x2,A3,y),(A4,x1,x2,A3,y),(A4,x1,x2,A3,y)]}} is non empty set
x1 is non empty set
x2 is non empty set
A3 is non empty set
A4 is non empty set
[:x1,x2,A3,A4:] is non empty set
[:x2,A3,A4,x1:] is non empty set
[:A3,A4,x1,x2:] is non empty set
[:A4,x1,x2,A3:] is non empty 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:] is Relation-like set
[:[:h,f:],g:] is Relation-like set
[:[:[:h,f:],g:],x:] is Relation-like set
[:x1,x2:] is Relation-like set
[:[:x1,x2:],A3:] is Relation-like set
[:[:[:x1,x2:],A3:],A4:] is Relation-like 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
x is set
{x} is non empty set
[:{h},{f},{g},{x}:] is non empty set
[h,f,g,x] is pair triple quadruple 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],x] is pair set
{[h,f,g],x} is non empty set
{[h,f,g]} is non empty set
{{[h,f,g],x},{[h,f,g]}} is non empty set
{[h,f,g,x]} is non empty set
[:{h},{f}:] is non empty Relation-like set
[:[:{h},{f}:],{g},{x}:] is non empty set
[:{[h,f]},{g},{x}:] is non empty set
[[h,f],g,x] is pair triple set
[[[h,f],g],x] is pair set
{[[h,f],g],x} is non empty set
{[[h,f],g]} is non empty Relation-like set
{{[[h,f],g],x},{[[h,f],g]}} is non empty set
{[[h,f],g,x]} 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
x is Element of [:h,f:]
x `2 is set
h is set
f is set
g is set
[:f,g:] is Relation-like set
h `1 is set
h `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:]
x1 is set
x2 is set
A3 is set
[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,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 is set
f is non empty set
g is non empty set
x is non empty set
[:f,g,x:] is non empty set
x1 is pair triple Element of [:f,g,x:]
(f,g,x,x1) is Element of f
x1 `1 is set
(x1 `1) `1 is set
(f,g,x,x1) is Element of g
(x1 `1) `2 is set
(f,g,x,x1) is Element of x
[(f,g,x,x1),(f,g,x,x1),(f,g,x,x1)] is pair triple set
[(f,g,x,x1),(f,g,x,x1)] is pair set
{(f,g,x,x1),(f,g,x,x1)} is non empty set
{(f,g,x,x1)} is non empty set
{{(f,g,x,x1),(f,g,x,x1)},{(f,g,x,x1)}} is non empty set
[[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)] is pair set
{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)} is non empty set
{[(f,g,x,x1),(f,g,x,x1)]} is non empty Relation-like set
{{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)},{[(f,g,x,x1),(f,g,x,x1)]}} is non empty set
h is set
f is non empty set
g is non empty set
x is non empty set
[:f,g,x:] is non empty set
x1 is pair triple Element of [:f,g,x:]
(f,g,x,x1) is Element of g
x1 `1 is set
(x1 `1) `2 is set
(f,g,x,x1) is Element of f
(x1 `1) `1 is set
(f,g,x,x1) is Element of x
[(f,g,x,x1),(f,g,x,x1),(f,g,x,x1)] is pair triple set
[(f,g,x,x1),(f,g,x,x1)] is pair set
{(f,g,x,x1),(f,g,x,x1)} is non empty set
{(f,g,x,x1)} is non empty set
{{(f,g,x,x1),(f,g,x,x1)},{(f,g,x,x1)}} is non empty set
[[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)] is pair set
{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)} is non empty set
{[(f,g,x,x1),(f,g,x,x1)]} is non empty Relation-like set
{{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)},{[(f,g,x,x1),(f,g,x,x1)]}} is non empty set
h is set
f is non empty set
g is non empty set
x is non empty set
[:f,g,x:] is non empty set
x1 is pair triple Element of [:f,g,x:]
(f,g,x,x1) is Element of x
(f,g,x,x1) is Element of f
x1 `1 is set
(x1 `1) `1 is set
(f,g,x,x1) is Element of g
(x1 `1) `2 is set
[(f,g,x,x1),(f,g,x,x1),(f,g,x,x1)] is pair triple set
[(f,g,x,x1),(f,g,x,x1)] is pair set
{(f,g,x,x1),(f,g,x,x1)} is non empty set
{(f,g,x,x1)} is non empty set
{{(f,g,x,x1),(f,g,x,x1)},{(f,g,x,x1)}} is non empty set
[[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)] is pair set
{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)} is non empty set
{[(f,g,x,x1),(f,g,x,x1)]} is non empty Relation-like set
{{[(f,g,x,x1),(f,g,x,x1)],(f,g,x,x1)},{[(f,g,x,x1),(f,g,x,x1)]}} is non empty set
h is set
f is set
g is set
x is set
[:f,g,x:] is set
[:f,g:] is Relation-like set
[:[:f,g:],x:] is Relation-like set
x1 is set
x2 is set
[x1,x2] is pair set
{x1,x2} is non empty set
{x1} is non empty set
{{x1,x2},{x1}} is non empty set
A3 is set
A4 is 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,x2] is pair triple set
[[A3,A4],x2] is pair set
{[A3,A4],x2} is non empty set
{[A3,A4]} is non empty Relation-like set
{{[A3,A4],x2},{[A3,A4]}} is non empty set
h is set
f is set
g is set
[h,f,g] is pair triple 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],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
x1 is set
x2 is set
[:x,x1,x2:] is set
[:x,x1:] is Relation-like set
[:[:x,x1:],x2:] is Relation-like set
h is set
f is set
g is set
x is set
[:f,g,x:] is set
x1 is set
[:f,g:] is Relation-like set
[:[:f,g:],x:] is Relation-like set
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 is set
A3 is set
[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 set
x is set
[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 non empty set
bool h is non empty set
f is non empty set
bool f is non empty set
g is non empty set
bool g is non empty set
[:h,f,g:] is non empty set
x is non empty Element of bool h
x1 is non empty Element of bool f
x2 is non empty Element of bool g
[:x,x1,x2:] is non empty set
A3 is pair triple Element of [:h,f,g:]
(h,f,g,A3) is Element of h
A3 `1 is set
(A3 `1) `1 is set
(h,f,g,A3) is Element of f
(A3 `1) `2 is set
(h,f,g,A3) is Element of g
A4 is pair triple Element of [:x,x1,x2:]
(x,x1,x2,A4) is Element of x1
A4 `1 is set
(A4 `1) `2 is set
(x,x1,x2,A4) is Element of x2
(x,x1,x2,A4) is Element of x
(A4 `1) `1 is set
h is set
f is set
g is set
x is set
x1 is set
[:h,g,x1:] is set
x2 is set
[:f,x,x2:] is set
[:h,g:] is Relation-like set
[:[:h,g:],x1:] is Relation-like set
[:f,x:] is Relation-like set
[:[:f,x:],x2:] is Relation-like 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:]
x2 is set
A3 is set
A4 is set
x is set
[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,f,g,x,x1) is Element of h
x1 `1 is set
(x1 `1) `1 is set
((x1 `1) `1) `1 is set
(h,f,g,x,x1) is Element of f
((x1 `1) `1) `2 is set
(h,f,g,x,x1) is Element of g
(x1 `1) `2 is set
(h,f,g,x,x1) is Element of x
h is set
f is non empty set
g is non empty set
x is non empty set
x1 is non empty set
[:f,g,x,x1:] is non empty set
x2 is pair triple quadruple Element of [:f,g,x,x1:]
(f,g,x,x1,x2) is Element of f
x2 `1 is set
(x2 `1) `1 is set
((x2 `1) `1) `1 is set
(f,g,x,x1,x2) is Element of g
((x2 `1) `1) `2 is set
(f,g,x,x1,x2) is Element of x
(x2 `1) `2 is set
(f,g,x,x1,x2) is Element of x1
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple quadruple set
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple set
[(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair set
{(f,g,x,x1,x2),(f,g,x,x1,x2)} is non empty set
{(f,g,x,x1,x2)} is non empty set
{{(f,g,x,x1,x2),(f,g,x,x1,x2)},{(f,g,x,x1,x2)}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty Relation-like set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
h is set
f is non empty set
g is non empty set
x is non empty set
x1 is non empty set
[:f,g,x,x1:] is non empty set
x2 is pair triple quadruple Element of [:f,g,x,x1:]
(f,g,x,x1,x2) is Element of g
x2 `1 is set
(x2 `1) `1 is set
((x2 `1) `1) `2 is set
(f,g,x,x1,x2) is Element of f
((x2 `1) `1) `1 is set
(f,g,x,x1,x2) is Element of x
(x2 `1) `2 is set
(f,g,x,x1,x2) is Element of x1
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple quadruple set
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple set
[(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair set
{(f,g,x,x1,x2),(f,g,x,x1,x2)} is non empty set
{(f,g,x,x1,x2)} is non empty set
{{(f,g,x,x1,x2),(f,g,x,x1,x2)},{(f,g,x,x1,x2)}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty Relation-like set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
h is set
f is non empty set
g is non empty set
x is non empty set
x1 is non empty set
[:f,g,x,x1:] is non empty set
x2 is pair triple quadruple Element of [:f,g,x,x1:]
(f,g,x,x1,x2) is Element of x
x2 `1 is set
(x2 `1) `2 is set
(f,g,x,x1,x2) is Element of f
(x2 `1) `1 is set
((x2 `1) `1) `1 is set
(f,g,x,x1,x2) is Element of g
((x2 `1) `1) `2 is set
(f,g,x,x1,x2) is Element of x1
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple quadruple set
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple set
[(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair set
{(f,g,x,x1,x2),(f,g,x,x1,x2)} is non empty set
{(f,g,x,x1,x2)} is non empty set
{{(f,g,x,x1,x2),(f,g,x,x1,x2)},{(f,g,x,x1,x2)}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty Relation-like set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
h is set
f is non empty set
g is non empty set
x is non empty set
x1 is non empty set
[:f,g,x,x1:] is non empty set
x2 is pair triple quadruple Element of [:f,g,x,x1:]
(f,g,x,x1,x2) is Element of x1
(f,g,x,x1,x2) is Element of f
x2 `1 is set
(x2 `1) `1 is set
((x2 `1) `1) `1 is set
(f,g,x,x1,x2) is Element of g
((x2 `1) `1) `2 is set
(f,g,x,x1,x2) is Element of x
(x2 `1) `2 is set
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple quadruple set
[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair triple set
[(f,g,x,x1,x2),(f,g,x,x1,x2)] is pair set
{(f,g,x,x1,x2),(f,g,x,x1,x2)} is non empty set
{(f,g,x,x1,x2)} is non empty set
{{(f,g,x,x1,x2),(f,g,x,x1,x2)},{(f,g,x,x1,x2)}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty Relation-like set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
[[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)] is pair set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)} is non empty set
{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]} is non empty set
{{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)],(f,g,x,x1,x2)},{[(f,g,x,x1,x2),(f,g,x,x1,x2),(f,g,x,x1,x2)]}} is non empty set
h is set
f is set
g is set
x is set
x1 is set
[:f,g,x,x1:] is set
[:f,g,x:] is set
[:[:f,g,x:],x1:] is Relation-like set
x2 is set
A3 is set
[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 set
x is set
y is set
[A4,x,y] is pair triple set
[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],y] is pair set
{[A4,x],y} is non empty set
{[A4,x]} is non empty Relation-like set
{{[A4,x],y},{[A4,x]}} is non empty set
[A4,x,y,A3] is pair triple quadruple set
[[A4,x,y],A3] is pair set
{[A4,x,y],A3} is non empty set
{[A4,x,y]} is non empty set
{{[A4,x,y],A3},{[A4,x,y]}} is non empty set
h is set
f is set
g is set
x is set
[h,f,g,x] is pair triple quadruple set
[h,f,g] is pair triple 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],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],x] is pair set
{[h,f,g],x} is non empty set
{[h,f,g]} is non empty set
{{[h,f,g],x},{[h,f,g]}} is non empty set
x1 is set
x2 is set
A3 is set
A4 is set
[:x1,x2,A3,A4:] is set
[:x1,x2:] is Relation-like set
[:[:x1,x2:],A3,A4:] is set
[[h,f],g,x] is pair triple set
[[[h,f],g],x] is pair set
{[[h,f],g],x} is non empty set
{[[h,f],g]} is non empty Relation-like set
{{[[h,f],g],x},{[[h,f],g]}} is non empty set
h is set
f is set
g is set
x is set
x1 is set
[:f,g,x,x1:] is set
x2 is set
[:f,g,x:] is set
[:[:f,g,x:],x1:] is Relation-like set
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 is set
A4 is set
[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 set
y is set
x3 is set
[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
bool h is non empty set
f is non empty set
bool f is non empty set
g is non empty set
bool g is non empty set
x is non empty set
bool x is non empty set
[:h,f,g,x:] is non empty set
x1 is non empty Element of bool h
x2 is non empty Element of bool f
A3 is non empty Element of bool g
A4 is non empty Element of bool x
[:x1,x2,A3,A4:] is non empty set
x is pair triple quadruple Element of [:h,f,g,x:]
(h,f,g,x,x) is Element of h
x `1 is set
(x `1) `1 is set
((x `1) `1) `1 is set
(h,f,g,x,x) is Element of f
((x `1) `1) `2 is set
(h,f,g,x,x) is Element of g
(x `1) `2 is set
(h,f,g,x,x) is Element of x
y is pair triple quadruple Element of [:x1,x2,A3,A4:]
(x1,x2,A3,A4,y) is Element of x2
y `1 is set
(y `1) `1 is set
((y `1) `1) `2 is set
(x1,x2,A3,A4,y) is Element of A4
(x1,x2,A3,A4,y) is Element of A3
(y `1) `2 is set
(x1,x2,A3,A4,y) is Element of x1
((y `1) `1) `1 is set
h is set
f is set
g is set
x is set
x1 is set
x2 is set
A3 is set
[:h,g,x1,A3:] is set
A4 is set
[:f,x,x2,A4:] is set
[:h,g,x1:] is set
[:[:h,g,x1:],A3:] is Relation-like set
[:f,x,x2:] is set
[:[:f,x,x2:],A4:] is Relation-like set
h is set
bool h is non empty set
f is set
bool f is non empty set
g is Element of bool h
x is Element of bool f
[:g,x:] is Relation-like set
[:h,f:] is Relation-like set
bool [:h,f:] is non empty set
h is set
bool h is non empty set
f is set
bool f is non empty set
g is set
bool g is non empty set
x is Element of bool h
x1 is Element of bool f
x2 is Element of bool g
[:x,x1,x2:] is set
[:h,f,g:] is set
bool [:h,f,g:] is non empty set
h is set
bool h is non empty set
f is set
bool f is non empty set
g is set
bool g is non empty set
x is set
bool x is non empty set
x1 is Element of bool h
x2 is Element of bool f
A3 is Element of bool g
A4 is Element of bool x
[:x1,x2,A3,A4:] is set
[:h,f,g,x:] is set
bool [:h,f,g,x:] is non empty set
h is Relation-like Function-like set
proj1 h is set
f is Relation-like Function-like set
proj1 f is set
f is Relation-like Function-like set
proj1 f is set
g is Relation-like Function-like set
proj1 g is set
x is set
f . x is set
h . x is set
(h . x) `1 is set
g . x is set
f is Relation-like Function-like set
proj1 f is set
f is Relation-like Function-like set
proj1 f is set
g is Relation-like Function-like set
proj1 g is set
x is set
f . x is set
h . x is set
(h . x) `2 is set
g . x is set
h is set
h `1 is set
(h `1) `1 is set
(h `1) `2 is set
h `2 is set
(h `2) `1 is set
(h `2) `2 is set
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
g is 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 set
[[h,f],g] `1 is set
([[h,f],g] `1) `1 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
x2 is 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]) is set
[[x,x1],x2] `1 is set
([[x,x1],x2] `1) `2 is set
x is set
A3 is set
A4 is set
[A3,A4] is pair set
{A3,A4} is non empty set
{A3} is non empty set
{{A3,A4},{A3}} is non empty set
[x,[A3,A4]] is pair set
{x,[A3,A4]} is non empty set
{x} is non empty set
{{x,[A3,A4]},{x}} is non empty set
([x,[A3,A4]]) is set
[x,[A3,A4]] `2 is set
([x,[A3,A4]] `2) `1 is set
Y9 is set
y is set
x3 is set
[y,x3] is pair set
{y,x3} is non empty set
{y} is non empty set
{{y,x3},{y}} is non empty set
[Y9,[y,x3]] is pair set
{Y9,[y,x3]} is non empty set
{Y9} is non empty set
{{Y9,[y,x3]},{Y9}} is non empty set
([Y9,[y,x3]]) is set
[Y9,[y,x3]] `2 is set
([Y9,[y,x3]] `2) `2 is set
h is Relation-like set
proj1 h is set
proj2 h is set
f is set
f `1 is set
f `2 is set
[(f `1),(f `2)] is pair set
{(f `1),(f `2)} is non empty set
{(f `1)} is non empty set
{{(f `1),(f `2)},{(f `1)}} is non empty set
h is non empty Relation-like set
f is set
Im (h,f) is set
{f} is non empty set
h .: {f} is set
{ (b1 `2) where b1 is Element of h : b1 `1 = f } is set
x is set
x1 is set
[x1,x] is pair set
{x1,x} is non empty set
{x1} is non empty set
{{x1,x},{x1}} is non empty set
[x1,x] `1 is set
[x1,x] `2 is set
x is set
x1 is Element of h
x1 `2 is set
x1 `1 is set
[(x1 `1),(x1 `2)] is pair set
{(x1 `1),(x1 `2)} is non empty set
{(x1 `1)} is non empty set
{{(x1 `1),(x1 `2)},{(x1 `1)}} is non empty set
h is Relation-like set
f is set
f `2 is set
f `1 is set
Im (h,(f `1)) is set
{(f `1)} is non empty set
h .: {(f `1)} is set
{ (b1 `2) where b1 is Element of h : b1 `1 = f `1 } is set
h is set
h `1 is set
h `2 is set
f is Relation-like set
g is set
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 `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 non empty Relation-like set
f is Element of h
f `1 is set
g is Element of h
g `1 is set
f `2 is set
g `2 is set
h is set
f is set
g is set
[h,f,g] is pair triple 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],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
{h,x} is non empty 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
{[h,f,g],[x,x1,x2]} is non empty set
proj1 {[h,f,g],[x,x1,x2]} is set
proj1 (proj1 {[h,f,g],[x,x1,x2]}) is set
{[h,f],[x,x1]} is non empty Relation-like set
proj1 {[h,f],[x,x1]} is non empty set
h is set
{h} is non empty set
f is 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
{[h,f,g]} is non empty set
proj1 {[h,f,g]} is set
proj1 (proj1 {[h,f,g]}) is set
proj1 {[h,f]} is non empty set
F1() is set
F2() is set
F3() is set
[:F2(),F3():] is Relation-like set
h 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
x is pair set
x `1 is set
x `2 is set
x1 is set
x2 is set
h is Relation-like Function-like set
proj1 h is set
proj2 h is set
f is Relation-like Function-like set
proj1 f is set
g is Relation-like Function-like set
proj1 g is set
x is set
f . x is set
g . x is set
h . x is set
(h . x) `1 is set
(h . x) `2 is set