:: NET_1 semantic presentation

K148() is Element of bool K144()
K144() is set
bool K144() is non empty set
K87() is set
bool K87() is non empty set
bool K148() is non empty set
K223() is set
N is PT_net_Str
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
the carrier of N is set
the carrier' of N is set
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
N is PT_net_Str
(N) is set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
the carrier of N is set
the carrier' of N is set
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
N is PT_net_Str
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
{} 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
X is PT_net_Str
(X) is set
the carrier of X is set
the carrier' of X is set
the carrier of X \/ the carrier' of X is set
N is set
N is set
X is PT_net_Str
the carrier of X is set
(X) is set
the carrier' of X is set
the carrier of X \/ the carrier' of X is set
N is set
X is PT_net_Str
the carrier' of X is set
(X) is set
the carrier of X is set
the carrier of X \/ the carrier' of X is set
{} ({},{}) is Relation-like Element of bool [:{},{}:]
[:{},{}:] is Relation-like set
bool [:{},{}:] is non empty set
PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is strict PT_net_Str
the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set
the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set
the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) /\ the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set
(PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #)) is Relation-like set
the S-T_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like Element of bool [: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):]
[: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set
bool [: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is non empty set
the T-S_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like Element of bool [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):]
[: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set
bool [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is non empty set
the S-T_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) \/ the T-S_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like set
[: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] \/ [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set
N is set
X is () PT_net_Str
the carrier of X is set
the carrier' of X is set
N is set
X is set
[N,X] is set
x is () PT_net_Str
(x) is Relation-like set
the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]
the carrier of x is set
the carrier' of x is set
[: the carrier of x, the carrier' of x:] is Relation-like set
bool [: the carrier of x, the carrier' of x:] is non empty set
the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]
[: the carrier' of x, the carrier of x:] is Relation-like set
bool [: the carrier' of x, the carrier of x:] is non empty set
the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set
[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set
N is set
X is set
[N,X] is set
x is () PT_net_Str
(x) is Relation-like set
the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]
the carrier of x is set
the carrier' of x is set
[: the carrier of x, the carrier' of x:] is Relation-like set
bool [: the carrier of x, the carrier' of x:] is non empty set
the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]
[: the carrier' of x, the carrier of x:] is Relation-like set
bool [: the carrier' of x, the carrier of x:] is non empty set
the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set
[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set
N is set
X is set
[N,X] is set
x is () PT_net_Str
(x) is Relation-like set
the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]
the carrier of x is set
the carrier' of x is set
[: the carrier of x, the carrier' of x:] is Relation-like set
bool [: the carrier of x, the carrier' of x:] is non empty set
the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]
[: the carrier' of x, the carrier of x:] is Relation-like set
bool [: the carrier' of x, the carrier of x:] is non empty set
the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set
[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set
N is set
X is set
[N,X] is set
x is () PT_net_Str
(x) is Relation-like set
the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]
the carrier of x is set
the carrier' of x is set
[: the carrier of x, the carrier' of x:] is Relation-like set
bool [: the carrier of x, the carrier' of x:] is non empty set
the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]
[: the carrier' of x, the carrier of x:] is Relation-like set
bool [: the carrier' of x, the carrier of x:] is non empty set
the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set
[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set
N is PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
x is set
y is set
z is set
[z,X] is set
z is set
[z,X] is set
x is set
y is set
z is set
[X,z] is set
z is set
[X,z] is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
x is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
x is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
N is set
X is () PT_net_Str
(X) is set
the carrier of X is set
the carrier' of X is set
the carrier of X \/ the carrier' of X is set
x is Element of (X)
(X,x) is set
[N,x] is set
(X) is Relation-like set
the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]
[: the carrier of X, the carrier' of X:] is Relation-like set
bool [: the carrier of X, the carrier' of X:] is non empty set
the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]
[: the carrier' of X, the carrier of X:] is Relation-like set
bool [: the carrier' of X, the carrier of X:] is non empty set
the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set
[N,x] is set
(X) is Relation-like set
the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]
[: the carrier of X, the carrier' of X:] is Relation-like set
bool [: the carrier of X, the carrier' of X:] is non empty set
the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]
[: the carrier' of X, the carrier of X:] is Relation-like set
bool [: the carrier' of X, the carrier of X:] is non empty set
the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set
N is set
X is () PT_net_Str
(X) is set
the carrier of X is set
the carrier' of X is set
the carrier of X \/ the carrier' of X is set
x is Element of (X)
(X,x) is set
[x,N] is set
(X) is Relation-like set
the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]
[: the carrier of X, the carrier' of X:] is Relation-like set
bool [: the carrier of X, the carrier' of X:] is non empty set
the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]
[: the carrier' of X, the carrier of X:] is Relation-like set
bool [: the carrier' of X, the carrier of X:] is non empty set
the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set
[x,N] is set
(X) is Relation-like set
the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]
[: the carrier of X, the carrier' of X:] is Relation-like set
bool [: the carrier of X, the carrier' of X:] is non empty set
the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]
[: the carrier' of X, the carrier of X:] is Relation-like set
bool [: the carrier' of X, the carrier of X:] is non empty set
the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
{X} is non empty set
(N,X) is set
x is set
y is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
{X} is non empty set
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
{X} is non empty set
x is set
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
{X} is non empty set
(N,X) is set
x is set
y is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
{X} is non empty set
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
{X} is non empty set
x is set
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
(N,X) is set
(N,X) \/ (N,X) is set
N is PT_net_Str
the carrier' of N is set
the carrier of N is set
X is Element of the carrier' of N
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
x is set
y is set
z is set
[z,X] is set
z is set
[z,X] is set
x is set
y is set
z is set
[X,z] is set
z is set
[X,z] is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is set
bool (N) is non empty set
bool (bool (N)) is non empty set
x is Element of bool (bool (N))
y is set
z is set
c₆ is Element of (N)
(N,c₆) is set
x is set
y is set
z is set
c₆ is Element of (N)
(N,c₆) is set
z is set
c₆ is Element of (N)
(N,c₆) is set
bool (N) is non empty set
bool (bool (N)) is non empty set
x is Element of bool (bool (N))
y is set
z is set
c₆ is Element of (N)
(N,c₆) is set
x is set
y is set
z is set
c₆ is Element of (N)
(N,c₆) is set
z is set
c₆ is Element of (N)
(N,c₆) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
x is set
(N,x) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is Element of (N)
(N,X) is set
x is set
(N,x) is set
N is () PT_net_Str
X is set
(N,X) is set
union (N,X) is set
(N,X) is set
union (N,X) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is set
x is set
(N,x) is set
(N,x) is set
union (N,x) is set
y is set
z is Element of (N)
(N,z) is set
y is Element of (N)
(N,y) is set
y is Element of (N)
(N,y) is set
z is Element of (N)
(N,z) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
X is set
x is set
(N,x) is set
(N,x) is set
union (N,x) is set
y is set
z is Element of (N)
(N,z) is set
y is Element of (N)
(N,y) is set
y is Element of (N)
(N,y) is set
z is Element of (N)
(N,z) is set
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
bool (N) is non empty set
X is Element of bool (N)
(N,X) is set
(N,X) is set
union (N,X) is set
x is Element of (N)
y is Element of (N)
[x,y] is set
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
(N,y) is set
(N,y) is set
(N,x) is set
{x} is non empty set
y is Element of (N)
y is set
y is set
z is Element of (N)
(N,z) is set
(N,z) is set
[x,z] is set
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
{z} is non empty set
c₆ is Element of (N)
y is Element of (N)
z is Element of (N)
N is () PT_net_Str
(N) is set
the carrier of N is set
the carrier' of N is set
the carrier of N \/ the carrier' of N is set
bool (N) is non empty set
X is Element of bool (N)
(N,X) is set
(N,X) is set
union (N,X) is set
x is Element of (N)
y is Element of (N)
[y,x] is set
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
(N,y) is set
(N,y) is set
(N,x) is set
{x} is non empty set
y is Element of (N)
y is set
y is set
z is Element of (N)
(N,z) is set
(N,z) is set
[z,x] is set
(N) is Relation-like set
the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]
[: the carrier of N, the carrier' of N:] is Relation-like set
bool [: the carrier of N, the carrier' of N:] is non empty set
the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]
[: the carrier' of N, the carrier of N:] is Relation-like set
bool [: the carrier' of N, the carrier of N:] is non empty set
the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set
{z} is non empty set
c₆ is Element of (N)
y is Element of (N)
z is Element of (N)