:: RELSET_1 semantic presentation

X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is Relation-like Element of bool [:X,Y:]
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is Relation-like Element of bool [:X,Y:]
dom X is set
P is set
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
P is set
rng X is set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

P is set
b is Element of X
y is Element of Y
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
b is Element of X
c8 is Element of Y
[b,c8] is set
{b,c8} is non empty set
{b} is non empty set
{{b,c8},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

b is Element of X
y is Element of Y
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
b is Element of X
c8 is Element of Y
[b,c8] is set
{b,c8} is non empty set
{b} is non empty set
{{b,c8},{b}} is non empty set
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
b is Element of X
c8 is Element of Y
[b,c8] is set
{b,c8} is non empty set
{b} is non empty set
{{b,c8},{b}} is non empty set
b is Element of X
c8 is Element of Y
[b,c8] is set
{b,c8} is non empty set
{b} is non empty set
{{b,c8},{b}} is non empty set
Y is set
X is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set
X is set

X is set
Y is set
X is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
X is set
[X,X] is set
{X,X} is non empty set
{X} is non empty set
{{X,X},{X}} is non empty set
{[X,X]} is non empty Relation-like set
P is set
[:Y,P:] is Relation-like set
bool [:Y,P:] is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

dom X is set
rng X is set
[:(dom X),(rng X):] is Relation-like set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

dom P is set
rng P is set
[:(dom P),(rng P):] is Relation-like set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

rng P is set
dom P is set
[:(dom P),(rng P):] is Relation-like set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
P is set
[:Y,P:] is Relation-like set
bool [:Y,P:] is non empty set

X is set

dom (Y \/ X) is set
dom Y is set
dom X is set
(dom Y) \/ (dom X) is set
X is set

dom Y is set
dom (Y /\ X) is set

bool Y is non empty set
X is set

rng (Y \/ X) is set
rng Y is set
rng X is set
(rng Y) \/ (rng X) is set
X is set

rng Y is set
rng (Y /\ X) is set
Y \ X is Relation-like X -valued Element of bool Y
bool Y is non empty set
X is set

dom Y is set
bool X is non empty set
X is set

rng Y is set
bool X is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X \/ Y is set

field X is set
dom X is set
rng X is set
(dom X) \/ (rng X) is set
(X,X) is Element of bool X
bool X is non empty set
(Y,X) is Element of bool Y
bool Y is non empty set
(X,X) \/ (Y,X) is set
X is set
Y is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

(Y,X) is Element of bool Y
bool Y is non empty set
P is set
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
P is set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

(Y,X) is Element of bool Y
bool Y is non empty set
P is set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
P is set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set
P is set
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is set
P is set
[:X,P:] is Relation-like set
bool [:X,P:] is non empty set

[:X,P:] is Relation-like set
bool [:X,P:] is non empty set
b is set
c8 is set
[b,c8] is set
{b,c8} is non empty set
{b} is non empty set
{{b,c8},{b}} is non empty set
a is set
[b,a] is set
{b,a} is non empty set
{{b,a},{b}} is non empty set
[a,c8] is set
{a,c8} is non empty set
{a} is non empty set
{{a,c8},{a}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

(X,Y,X) is Relation-like Y -defined X -valued Element of bool [:Y,X:]
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set
(Y,(X,Y,X)) is Element of bool Y
bool Y is non empty set
(Y,X) is Element of bool Y
(X,(X,Y,X)) is Element of bool X
bool X is non empty set
(X,X) is Element of bool X
P is set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
b is set
[P,b] is set
{P,b} is non empty set
{{P,b},{P}} is non empty set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
P is set
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
[P,b] is set
{P,b} is non empty set
{{P,b},{P}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

X is set

[:X,X:] is Relation-like set
bool [:X,X:] is non empty set

X is set
P is set
[X,P] is set
{X,P} is non empty set
{X} is non empty set
{{X,P},{X}} is non empty set
X is set

[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is set

(X,P) is Element of bool X
bool X is non empty set
(Y,P) is Element of bool Y
bool Y is non empty set
b is set
[b,b] is set
{b,b} is non empty set
{b} is non empty set
{{b,b},{b}} is non empty set
b is set
[b,b] is set
{b,b} is non empty set
{b} is non empty set
{{b,b},{b}} is non empty set
X is set
Y is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

(Y,X) is Element of bool Y
bool Y is non empty set
(X,X) is Element of bool X
bool X is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

(X,X) is Element of bool X
bool X is non empty set
(Y,X) is Element of bool Y
bool Y is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

P is set

b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is set

b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

(X,X,P,Y) is Relation-like X -defined Y -defined X -defined X -valued Element of bool [:X,X:]
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set
X is set

(Y,X,P,X) is Relation-like Y -defined X -defined Y -defined X -valued Element of bool [:Y,X:]
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

(X,X,Y,P) is Relation-like X -defined X -valued Y -valued X -valued Element of bool [:X,X:]
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set
X is set

(X,Y,X,P) is Relation-like X -defined Y -valued X -valued Y -valued Element of bool [:X,Y:]
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

P is set
X .: P is set
bool Y is non empty set
(Y,X) is Element of bool Y
X " P is set
bool X is non empty set
(X,X) is Element of bool X
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set

(X,Y,X,X) is Element of bool Y
bool Y is non empty set
(Y,X) is Element of bool Y
(X,Y,X,Y) is Element of bool X
bool X is non empty set
(X,X) is Element of bool X
P is set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
P is set
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
b is set
[P,b] is set
{P,b} is non empty set
{{P,b},{P}} is non empty set
X is set
Y is set
[:Y,X:] is Relation-like set
bool [:Y,X:] is non empty set

(Y,X,X,X) is Element of bool Y
bool Y is non empty set
(Y,X,X,(Y,X,X,X)) is Element of bool X
bool X is non empty set
(X,X) is Element of bool X
(Y,X,X,Y) is Element of bool X
(Y,X,X,(Y,X,X,Y)) is Element of bool Y
(Y,X) is Element of bool Y
F1() is set
F2() is set
[:F1(),F2():] is Relation-like set
bool [:F1(),F2():] is non empty set

Y is set
X is set
[Y,X] is set
{Y,X} is non empty set
{Y} is non empty set
{{Y,X},{Y}} is non empty set
Y is Relation-like F1() -defined F2() -valued Element of bool [:F1(),F2():]
X is set
P is set
[X,P] is set
{X,P} is non empty set
{X} is non empty set
{{X,P},{X}} is non empty set
b is set
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
X is non empty set

the Element of X is Element of X
[ the Element of X, the Element of X] is set
{ the Element of X, the Element of X} is non empty set
{ the Element of X} is non empty set
{{ the Element of X, the Element of X},{ the Element of X}} is non empty set
X is non empty set
Y is non empty set
[:X,Y:] is non empty Relation-like set
bool [:X,Y:] is non empty set

(X,X) is Element of bool X
bool X is non empty set
P is Element of X
b is set
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
y is Element of Y
[P,y] is set
{P,y} is non empty set
{{P,y},{P}} is non empty set
b is Element of Y
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
X is non empty set
Y is non empty set
[:Y,X:] is non empty Relation-like set
bool [:Y,X:] is non empty set

(X,X) is Element of bool X
bool X is non empty set
P is set
b is set
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
y is Element of Y
[y,P] is set
{y,P} is non empty set
{y} is non empty set
{{y,P},{y}} is non empty set
b is Element of Y
[b,P] is set
{b,P} is non empty set
{b} is non empty set
{{b,P},{b}} is non empty set
X is non empty set
Y is non empty set
[:X,Y:] is non empty Relation-like set
bool [:X,Y:] is non empty set

(X,X) is Element of bool X
bool X is non empty set
(Y,X) is Element of bool Y
bool Y is non empty set
P is set
X is non empty set
Y is non empty set
[:Y,X:] is non empty Relation-like set
bool [:Y,X:] is non empty set

(X,X) is Element of bool X
bool X is non empty set
(Y,X) is Element of bool Y
bool Y is non empty set
P is set
X is non empty set
Y is non empty set
[:X,Y:] is non empty Relation-like set
bool [:X,Y:] is non empty set
X is non empty set
[:Y,X:] is non empty Relation-like set
bool [:Y,X:] is non empty set

(X,Y,Y,X,P,b) is Relation-like X -defined X -valued Element of bool [:X,X:]
[:X,X:] is non empty Relation-like set
bool [:X,X:] is non empty set
y is set
b is set
[y,b] is set
{y,b} is non empty set
{y} is non empty set
{{y,b},{y}} is non empty set
c8 is set
[y,c8] is set
{y,c8} is non empty set
{{y,c8},{y}} is non empty set
[c8,b] is set
{c8,b} is non empty set
{c8} is non empty set
{{c8,b},{c8}} is non empty set
a is Element of Y
[y,a] is set
{y,a} is non empty set
{{y,a},{y}} is non empty set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
c8 is Element of Y
[y,c8] is set
{y,c8} is non empty set
{{y,c8},{y}} is non empty set
[c8,b] is set
{c8,b} is non empty set
{c8} is non empty set
{{c8,b},{c8}} is non empty set
X is non empty set
Y is non empty set
X is non empty set
[:X,X:] is non empty Relation-like set
bool [:X,X:] is non empty set

(X,X,P,Y) is Element of bool X
bool X is non empty set
b is Element of X
y is set
[y,b] is set
{y,b} is non empty set
{y} is non empty set
{{y,b},{y}} is non empty set
b is Element of X
[b,b] is set
{b,b} is non empty set
{b} is non empty set
{{b,b},{b}} is non empty set
y is Element of X
[y,b] is set
{y,b} is non empty set
{y} is non empty set
{{y,b},{y}} is non empty set
X is non empty set
Y is non empty set
X is non empty set
[:X,X:] is non empty Relation-like set
bool [:X,X:] is non empty set

(X,X,P,Y) is Element of bool X
bool X is non empty set
b is Element of X
y is set
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
b is Element of X
[b,b] is set
{b,b} is non empty set
{{b,b},{b}} is non empty set
y is Element of X
[b,y] is set
{b,y} is non empty set
{b} is non empty set
{{b,y},{b}} is non empty set
F1() is non empty set
F2() is non empty set
[:F1(),F2():] is non empty Relation-like set
bool [:F1(),F2():] is non empty set
X is Relation-like F1() -defined F2() -valued Element of bool [:F1(),F2():]
Y is Element of F1()
X is Element of F2()
[Y,X] is set
{Y,X} is non empty set
{Y} is non empty set
{{Y,X},{Y}} is non empty set
P is Element of F1()
b is Element of F2()
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
F1() is set
bool F1() is non empty set
F2() is Element of bool F1()
[:F2(),F2():] is Relation-like set
bool [:F2(),F2():] is non empty set
X is Relation-like F2() -defined F2() -valued Element of bool [:F2(),F2():]
Y is Element of F1()
Im (X,Y) is set
{Y} is non empty set
X .: {Y} is set
F3(Y) is set
X is set
P is set
[P,X] is set
{P,X} is non empty set
{P} is non empty set
{{P,X},{P}} is non empty set
X is set
[Y,X] is set
{Y,X} is non empty set
{{Y,X},{Y}} is non empty set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set

P is Element of X
b is Element of X
[P,b] is set
{P,b} is non empty set
{P} is non empty set
{{P,b},{P}} is non empty set
(X,Y) is Element of bool X
bool X is non empty set
Im (Y,P) is set
Y .: {P} is set
Im (X,P) is set
X .: {P} is set
y is set
[y,b] is set
{y,b} is non empty set
{y} is non empty set
{{y,b},{y}} is non empty set
(X,X) is Element of bool X
bool X is non empty set
Im (X,P) is set
X .: {P} is set
Im (Y,P) is set
Y .: {P} is set
y is set
[y,b] is set
{y,b} is non empty set
{y} is non empty set
{{y,b},{y}} is non empty set
F1() is set
F2() is set
[:F1(),F2():] is Relation-like set
bool [:F1(),F2():] is non empty set
F3() is Relation-like F1() -defined F2() -valued Element of bool [:F1(),F2():]
F4() is Relation-like F1() -defined F2() -valued Element of bool [:F1(),F2():]
X is Element of F1()
Y is Element of F2()
[X,Y] is set
{X,Y} is non empty set
{X} is non empty set
{{X,Y},{X}} is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
X is set
[:[:X,Y:],X:] is Relation-like set
bool [:[:X,Y:],X:] is non empty set
P is Relation-like [:X,Y:] -defined X -valued Element of bool [:[:X,Y:],X:]
([:X,Y:],P) is Relation-like X -defined Y -valued Element of bool [:X,Y:]
bool [:X,Y:] is non empty set
X is set
Y is set
X is set
[:Y,X:] is Relation-like set
[:X,[:Y,X:]:] is Relation-like set
bool [:X,[:Y,X:]:] is non empty set
P is Relation-like X -defined [:Y,X:] -valued Element of bool [:X,[:Y,X:]:]
([:Y,X:],P) is Relation-like Y -defined X -valued Element of bool [:Y,X:]
bool [:Y,X:] is non empty set
X is set
Y is set
X is set
[:X,X:] is Relation-like set
bool [:X,X:] is non empty set

(X,X,P,Y) is Relation-like Y -defined X -defined X -valued Element of bool [:X,X:]
(X,P) is Element of bool X
bool X is non empty set
X is non empty Relation-like set
dom X is non empty set
bool (dom X) is non empty set
Y is non empty Element of bool (dom X)

dom (X | Y) is set
X is non empty Relation-like set
dom X is non empty set
bool (dom X) is non empty set
Y is non empty Element of bool (dom X)
X .: Y is set
X | Y is non empty Relation-like set
rng (X | Y) is non empty set
X is set
Y is set
[:X,Y:] is Relation-like set
bool [:X,Y:] is non empty set