:: FF_SIEC semantic presentation

K161() is M2( bool K157())

K157() is set

bool K157() is set

K87() is set

bool K87() is set

bool K161() is set

K236() is set

{} is set

M is set

R is set

{} (M,R) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:M,R:])

[:M,R:] is Relation-like set

bool [:M,R:] is set

{} (R,M) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:R,M:])

[:R,M:] is Relation-like set

bool [:R,M:] is set

PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is strict PT_net_Str

Flow PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is Relation-like set

the S-T_Arcs of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is Relation-like M2( bool [: the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):])

the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is set

the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is set

[: the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] is Relation-like set

bool [: the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] is set

the T-S_Arcs of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is Relation-like M2( bool [: the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):])

[: the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] is Relation-like set

bool [: the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] is set

the S-T_Arcs of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) \/ the T-S_Arcs of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is Relation-like set

[: the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] \/ [: the carrier' of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #), the carrier of PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #):] is Relation-like set

M is set

(M,{}) is strict Petri PT_net_Str

({},M) is strict Petri PT_net_Str

M is set

{M} is set

({},{M}) is strict Petri PT_net_Str

({M},{}) is strict Petri PT_net_Str

({},{}) is strict Petri PT_net_Str

() is strict Petri PT_net_Str

M is set

R is set

(M,R) is strict Petri PT_net_Str

the carrier of (M,R) is set

the carrier' of (M,R) is set

Flow (M,R) is Relation-like set

the S-T_Arcs of (M,R) is Relation-like M2( bool [: the carrier of (M,R), the carrier' of (M,R):])

[: the carrier of (M,R), the carrier' of (M,R):] is Relation-like set

bool [: the carrier of (M,R), the carrier' of (M,R):] is set

the T-S_Arcs of (M,R) is Relation-like M2( bool [: the carrier' of (M,R), the carrier of (M,R):])

[: the carrier' of (M,R), the carrier of (M,R):] is Relation-like set

bool [: the carrier' of (M,R), the carrier of (M,R):] is set

the S-T_Arcs of (M,R) \/ the T-S_Arcs of (M,R) is Relation-like set

{} (M,R) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:M,R:])

[:M,R:] is Relation-like set

bool [:M,R:] is set

{} (R,M) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:R,M:])

[:R,M:] is Relation-like set

bool [:R,M:] is set

PT_net_Str(# M,R,({} (M,R)),({} (R,M)) #) is strict PT_net_Str

M is set

(M) is strict Petri PT_net_Str

(M,{}) is strict Petri PT_net_Str

the carrier of (M) is set

the carrier' of (M) is set

Flow (M) is Relation-like set

the S-T_Arcs of (M) is Relation-like M2( bool [: the carrier of (M), the carrier' of (M):])

[: the carrier of (M), the carrier' of (M):] is Relation-like set

bool [: the carrier of (M), the carrier' of (M):] is set

the T-S_Arcs of (M) is Relation-like M2( bool [: the carrier' of (M), the carrier of (M):])

[: the carrier' of (M), the carrier of (M):] is Relation-like set

bool [: the carrier' of (M), the carrier of (M):] is set

the S-T_Arcs of (M) \/ the T-S_Arcs of (M) is Relation-like set

{} (M,{}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:M,{}:])

[:M,{}:] is Relation-like set

bool [:M,{}:] is set

{} ({},M) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{},M:])

[:{},M:] is Relation-like set

bool [:{},M:] is set

PT_net_Str(# M,{},({} (M,{})),({} ({},M)) #) is strict PT_net_Str

M is set

(M) is strict Petri PT_net_Str

({},M) is strict Petri PT_net_Str

the carrier of (M) is set

the carrier' of (M) is set

Flow (M) is Relation-like set

the S-T_Arcs of (M) is Relation-like M2( bool [: the carrier of (M), the carrier' of (M):])

[: the carrier of (M), the carrier' of (M):] is Relation-like set

bool [: the carrier of (M), the carrier' of (M):] is set

the T-S_Arcs of (M) is Relation-like M2( bool [: the carrier' of (M), the carrier of (M):])

[: the carrier' of (M), the carrier of (M):] is Relation-like set

bool [: the carrier' of (M), the carrier of (M):] is set

the S-T_Arcs of (M) \/ the T-S_Arcs of (M) is Relation-like set

{} ({},M) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{},M:])

[:{},M:] is Relation-like set

bool [:{},M:] is set

{} (M,{}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:M,{}:])

[:M,{}:] is Relation-like set

bool [:M,{}:] is set

PT_net_Str(# {},M,({} ({},M)),({} (M,{})) #) is strict PT_net_Str

M is set

(M) is strict Petri PT_net_Str

{M} is set

({},{M}) is strict Petri PT_net_Str

the carrier of (M) is set

the carrier' of (M) is set

Flow (M) is Relation-like set

the S-T_Arcs of (M) is Relation-like M2( bool [: the carrier of (M), the carrier' of (M):])

[: the carrier of (M), the carrier' of (M):] is Relation-like set

bool [: the carrier of (M), the carrier' of (M):] is set

the T-S_Arcs of (M) is Relation-like M2( bool [: the carrier' of (M), the carrier of (M):])

[: the carrier' of (M), the carrier of (M):] is Relation-like set

bool [: the carrier' of (M), the carrier of (M):] is set

the S-T_Arcs of (M) \/ the T-S_Arcs of (M) is Relation-like set

{} ({},{M}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{},{M}:])

[:{},{M}:] is Relation-like set

bool [:{},{M}:] is set

{} ({M},{}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{M},{}:])

[:{M},{}:] is Relation-like set

bool [:{M},{}:] is set

PT_net_Str(# {},{M},({} ({},{M})),({} ({M},{})) #) is strict PT_net_Str

M is set

(M) is strict Petri PT_net_Str

{M} is set

({M},{}) is strict Petri PT_net_Str

the carrier of (M) is set

the carrier' of (M) is set

Flow (M) is Relation-like set

the S-T_Arcs of (M) is Relation-like M2( bool [: the carrier of (M), the carrier' of (M):])

[: the carrier of (M), the carrier' of (M):] is Relation-like set

bool [: the carrier of (M), the carrier' of (M):] is set

the T-S_Arcs of (M) is Relation-like M2( bool [: the carrier' of (M), the carrier of (M):])

[: the carrier' of (M), the carrier of (M):] is Relation-like set

bool [: the carrier' of (M), the carrier of (M):] is set

the S-T_Arcs of (M) \/ the T-S_Arcs of (M) is Relation-like set

{} ({M},{}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{M},{}:])

[:{M},{}:] is Relation-like set

bool [:{M},{}:] is set

{} ({},{M}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{},{M}:])

[:{},{M}:] is Relation-like set

bool [:{},{M}:] is set

PT_net_Str(# {M},{},({} ({M},{})),({} ({},{M})) #) is strict PT_net_Str

the carrier of () is set

the carrier' of () is set

Flow () is Relation-like set

the S-T_Arcs of () is Relation-like M2( bool [: the carrier of (), the carrier' of ():])

[: the carrier of (), the carrier' of ():] is Relation-like set

bool [: the carrier of (), the carrier' of ():] is set

the T-S_Arcs of () is Relation-like M2( bool [: the carrier' of (), the carrier of ():])

[: the carrier' of (), the carrier of ():] is Relation-like set

bool [: the carrier' of (), the carrier of ():] is set

the S-T_Arcs of () \/ the T-S_Arcs of () is Relation-like set

{} ({},{}) is empty Relation-like non-empty empty-yielding V63() V66() V69() M2( bool [:{},{}:])

[:{},{}:] is Relation-like set

bool [:{},{}:] is set

PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is strict Petri PT_net_Str

M is set

R is set

[M,R] is set

S is Petri PT_net_Str

Flow S is Relation-like set

the S-T_Arcs of S is Relation-like M2( bool [: the carrier of S, the carrier' of S:])

the carrier of S is set

the carrier' of S is set

[: the carrier of S, the carrier' of S:] is Relation-like set

bool [: the carrier of S, the carrier' of S:] is set

the T-S_Arcs of S is Relation-like M2( bool [: the carrier' of S, the carrier of S:])

[: the carrier' of S, the carrier of S:] is Relation-like set

bool [: the carrier' of S, the carrier of S:] is set

the S-T_Arcs of S \/ the T-S_Arcs of S is Relation-like set

[: the carrier of S, the carrier' of S:] \/ [: the carrier' of S, the carrier of S:] is Relation-like set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

[:(Elements M),(Elements M):] is Relation-like set

(Flow M) ~ is Relation-like set

[: the carrier of M, the carrier' of M:] \/ [: the carrier' of M, the carrier of M:] is Relation-like set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

rng ((Flow M) | the carrier' of M) is set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

rng (((Flow M) ~) | the carrier' of M) is set

(Flow M) | the carrier of M is Relation-like set

rng ((Flow M) | the carrier of M) is set

((Flow M) ~) | the carrier of M is Relation-like set

rng (((Flow M) ~) | the carrier of M) is set

id the carrier' of M is Relation-like the carrier' of M -defined the carrier' of M -valued V89() set

rng (id the carrier' of M) is set

dom (id the carrier' of M) is set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

rng (id the carrier of M) is set

dom (id the carrier of M) is set

R is set

S is set

[S,R] is set

R is set

S is set

[S,R] is set

[R,S] is set

R is set

S is set

[S,R] is set

R is set

S is set

[S,R] is set

[R,S] is set

R is set

T is set

M is set

S is set

M /\ S is set

R /\ T is set

Q is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

rng ((Flow M) | the carrier' of M) is set

dom ((Flow M) | the carrier' of M) is set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

dom (((Flow M) ~) | the carrier' of M) is set

id the carrier' of M is Relation-like the carrier' of M -defined the carrier' of M -valued V89() set

dom (id the carrier' of M) is set

rng (((Flow M) ~) | the carrier' of M) is set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

rng (id the carrier of M) is set

(Flow M) | the carrier of M is Relation-like set

rng ((Flow M) | the carrier of M) is set

dom ((Flow M) | the carrier of M) is set

((Flow M) ~) | the carrier of M is Relation-like set

dom (((Flow M) ~) | the carrier of M) is set

dom (id the carrier of M) is set

rng (((Flow M) ~) | the carrier of M) is set

rng (id the carrier' of M) is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like set

((Flow M) | the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like set

(((Flow M) ~) | the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like set

(Flow M) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) * ((Flow M) | the carrier of M) is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

(((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like set

((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like set

(((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M) is Relation-like set

rng ((Flow M) | the carrier' of M) is set

dom ((Flow M) | the carrier' of M) is set

rng (((Flow M) ~) | the carrier' of M) is set

dom (((Flow M) ~) | the carrier' of M) is set

rng ((Flow M) | the carrier of M) is set

dom ((Flow M) | the carrier of M) is set

rng (((Flow M) ~) | the carrier of M) is set

dom (((Flow M) ~) | the carrier of M) is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

((Flow M) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

id the carrier' of M is Relation-like the carrier' of M -defined the carrier' of M -valued V89() set

(id the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like the carrier' of M -defined set

(id the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like the carrier' of M -defined set

(Flow M) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) * (id the carrier' of M) is Relation-like the carrier' of M -valued set

((Flow M) ~) | the carrier of M is Relation-like set

(((Flow M) ~) | the carrier of M) * (id the carrier' of M) is Relation-like the carrier' of M -valued set

(id the carrier of M) * ((Flow M) | the carrier of M) is Relation-like the carrier of M -defined set

(id the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like the carrier of M -defined set

(id the carrier' of M) * ((Flow M) | the carrier of M) is Relation-like the carrier' of M -defined set

(id the carrier' of M) * (((Flow M) ~) | the carrier of M) is Relation-like the carrier' of M -defined set

((Flow M) | the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(((Flow M) ~) | the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(id the carrier of M) * ((Flow M) | the carrier' of M) is Relation-like the carrier of M -defined set

(id the carrier of M) * (((Flow M) ~) | the carrier' of M) is Relation-like the carrier of M -defined set

((Flow M) | the carrier' of M) * (id the carrier' of M) is Relation-like the carrier' of M -valued set

(((Flow M) ~) | the carrier' of M) * (id the carrier' of M) is Relation-like the carrier' of M -valued set

rng ((Flow M) | the carrier' of M) is set

rng (((Flow M) ~) | the carrier' of M) is set

rng ((Flow M) | the carrier of M) is set

rng (((Flow M) ~) | the carrier of M) is set

dom ((Flow M) | the carrier of M) is set

rng (id the carrier' of M) is set

dom (((Flow M) ~) | the carrier of M) is set

dom (id the carrier of M) is set

rng (id the carrier of M) is set

dom ((Flow M) | the carrier' of M) is set

dom (((Flow M) ~) | the carrier' of M) is set

dom (id the carrier' of M) is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

(Flow M) | the carrier of M is Relation-like set

(((Flow M) ~) | the carrier' of M) /\ (id (Elements M)) is Relation-like set

T is set

Q is set

[T,Q] is set

[Q,T] is set

((Flow M) | the carrier' of M) /\ (id (Elements M)) is Relation-like set

T is set

Q is set

[T,Q] is set

(((Flow M) ~) | the carrier of M) /\ (id (Elements M)) is Relation-like set

T is set

Q is set

[T,Q] is set

[Q,T] is set

((Flow M) | the carrier of M) /\ (id (Elements M)) is Relation-like set

T is set

Q is set

[T,Q] is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

(((Flow M) | the carrier' of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

(((Flow M) ~) | the carrier of M) \/ (id the carrier of M) is Relation-like set

((((Flow M) ~) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

(Flow M) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) \/ (id the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

id the carrier' of M is Relation-like the carrier' of M -defined the carrier' of M -valued V89() set

(((Flow M) ~) | the carrier of M) \/ (id the carrier' of M) is Relation-like set

((((Flow M) ~) | the carrier of M) \/ (id the carrier' of M)) \ (id (Elements M)) is Relation-like set

((Flow M) | the carrier of M) \/ (id the carrier' of M) is Relation-like set

(((Flow M) | the carrier of M) \/ (id the carrier' of M)) \ (id (Elements M)) is Relation-like set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier' of M) is Relation-like set

((((Flow M) ~) | the carrier' of M) \/ (id the carrier' of M)) \ (id (Elements M)) is Relation-like set

((Flow M) | the carrier' of M) \/ (id the carrier' of M) is Relation-like set

(((Flow M) | the carrier' of M) \/ (id the carrier' of M)) \ (id (Elements M)) is Relation-like set

(((Flow M) ~) | the carrier' of M) \ (id (Elements M)) is Relation-like set

(id the carrier of M) \ (id (Elements M)) is Relation-like set

((((Flow M) ~) | the carrier' of M) \ (id (Elements M))) \/ ((id the carrier of M) \ (id (Elements M))) is Relation-like set

((((Flow M) ~) | the carrier' of M) \ (id (Elements M))) \/ {} is set

((Flow M) | the carrier' of M) \ (id (Elements M)) is Relation-like set

(id the carrier of M) \ (id (Elements M)) is Relation-like set

(((Flow M) | the carrier' of M) \ (id (Elements M))) \/ ((id the carrier of M) \ (id (Elements M))) is Relation-like set

(((Flow M) | the carrier' of M) \ (id (Elements M))) \/ {} is set

(((Flow M) ~) | the carrier of M) \ (id (Elements M)) is Relation-like set

(id the carrier of M) \ (id (Elements M)) is Relation-like set

((((Flow M) ~) | the carrier of M) \ (id (Elements M))) \/ ((id the carrier of M) \ (id (Elements M))) is Relation-like set

((((Flow M) ~) | the carrier of M) \ (id (Elements M))) \/ {} is set

((Flow M) | the carrier of M) \ (id (Elements M)) is Relation-like set

(id the carrier of M) \ (id (Elements M)) is Relation-like set

(((Flow M) | the carrier of M) \ (id (Elements M))) \/ ((id the carrier of M) \ (id (Elements M))) is Relation-like set

(((Flow M) | the carrier of M) \ (id (Elements M))) \/ {} is set

(((Flow M) ~) | the carrier of M) \ (id (Elements M)) is Relation-like set

(id the carrier' of M) \ (id (Elements M)) is Relation-like set

((((Flow M) ~) | the carrier of M) \ (id (Elements M))) \/ ((id the carrier' of M) \ (id (Elements M))) is Relation-like set

((((Flow M) ~) | the carrier of M) \ (id (Elements M))) \/ {} is set

((Flow M) | the carrier of M) \ (id (Elements M)) is Relation-like set

(id the carrier' of M) \ (id (Elements M)) is Relation-like set

(((Flow M) | the carrier of M) \ (id (Elements M))) \/ ((id the carrier' of M) \ (id (Elements M))) is Relation-like set

(((Flow M) | the carrier of M) \ (id (Elements M))) \/ {} is set

(((Flow M) ~) | the carrier' of M) \ (id (Elements M)) is Relation-like set

(id the carrier' of M) \ (id (Elements M)) is Relation-like set

((((Flow M) ~) | the carrier' of M) \ (id (Elements M))) \/ ((id the carrier' of M) \ (id (Elements M))) is Relation-like set

((((Flow M) ~) | the carrier' of M) \ (id (Elements M))) \/ {} is set

((Flow M) | the carrier' of M) \ (id (Elements M)) is Relation-like set

(id the carrier' of M) \ (id (Elements M)) is Relation-like set

(((Flow M) | the carrier' of M) \ (id (Elements M))) \/ ((id the carrier' of M) \ (id (Elements M))) is Relation-like set

(((Flow M) | the carrier' of M) \ (id (Elements M))) \/ {} is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) ~ is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier' of M) ~ is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

Q is set

y is set

[Q,y] is set

[y,Q] is set

Q is set

y is set

[Q,y] is set

[y,Q] is set

Q is set

y is set

[Q,y] is set

[y,Q] is set

Q is set

y is set

[Q,y] is set

[y,Q] is set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier of M) \/ ((Flow M) | the carrier' of M) is Relation-like set

((Flow M) | the carrier' of M) \/ ((Flow M) | the carrier of M) is Relation-like set

((Flow M) | the carrier of M) ~ is Relation-like set

((Flow M) | the carrier' of M) ~ is Relation-like set

(((Flow M) | the carrier of M) ~) \/ (((Flow M) | the carrier' of M) ~) is Relation-like set

(Flow M) ~ is Relation-like set

(((Flow M) | the carrier' of M) ~) \/ (((Flow M) | the carrier of M) ~) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

[:(Elements M),(Elements M):] is Relation-like set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

M is Petri PT_net_Str

(M) is Relation-like set

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

[:(Elements M),(Elements M):] is Relation-like set

(M) is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

M is Petri PT_net_Str

(M) is Relation-like set

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

dom (M) is set

Elements M is set

the carrier of M \/ the carrier' of M is set

rng (M) is set

(M) is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

dom (M) is set

rng (M) is set

R is set

dom ((Flow M) | the carrier' of M) is set

dom (id the carrier of M) is set

(dom ((Flow M) | the carrier' of M)) \/ (dom (id the carrier of M)) is set

R is set

rng ((Flow M) | the carrier' of M) is set

rng (id the carrier of M) is set

(rng ((Flow M) | the carrier' of M)) \/ (rng (id the carrier of M)) is set

S is set

[S,R] is set

R is set

dom (((Flow M) ~) | the carrier' of M) is set

dom (id the carrier of M) is set

(dom (((Flow M) ~) | the carrier' of M)) \/ (dom (id the carrier of M)) is set

R is set

rng (((Flow M) ~) | the carrier' of M) is set

rng (id the carrier of M) is set

(rng (((Flow M) ~) | the carrier' of M)) \/ (rng (id the carrier of M)) is set

S is set

[S,R] is set

[R,S] is set

M is Petri PT_net_Str

(M) is Relation-like set

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

(M) * (M) is Relation-like set

(M) is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

(M) * (M) is Relation-like set

(M) * (M) is Relation-like set

(M) * (M) is Relation-like set

(id the carrier of M) * ((Flow M) | the carrier' of M) is Relation-like the carrier of M -defined set

((Flow M) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(id the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -defined the carrier of M -valued set

((Flow M) | the carrier' of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M)) is Relation-like set

(id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M)) is Relation-like the carrier of M -defined set

(((Flow M) | the carrier' of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) \/ ((id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like set

(((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M))) \/ ((id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((id the carrier of M) * ((Flow M) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M))) \/ (((id the carrier of M) * ((Flow M) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M))) is Relation-like set

{} \/ ((Flow M) | the carrier' of M) is set

{} \/ (id the carrier of M) is set

({} \/ ((Flow M) | the carrier' of M)) \/ ({} \/ (id the carrier of M)) is set

(id the carrier of M) * (((Flow M) ~) | the carrier' of M) is Relation-like the carrier of M -defined set

((Flow M) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(id the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -defined the carrier of M -valued set

((Flow M) | the carrier' of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) is Relation-like set

(id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) is Relation-like the carrier of M -defined set

(((Flow M) | the carrier' of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) \/ ((id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((Flow M) | the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like set

(((Flow M) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M))) \/ ((id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((id the carrier of M) * (((Flow M) ~) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ (((Flow M) | the carrier' of M) * (id the carrier of M))) \/ (((id the carrier of M) * (((Flow M) ~) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M))) is Relation-like set

{} \/ ((Flow M) | the carrier' of M) is set

{} \/ (id the carrier of M) is set

({} \/ ((Flow M) | the carrier' of M)) \/ ({} \/ (id the carrier of M)) is set

(id the carrier of M) * (((Flow M) ~) | the carrier' of M) is Relation-like the carrier of M -defined set

(((Flow M) ~) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(id the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -defined the carrier of M -valued set

(((Flow M) ~) | the carrier' of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) is Relation-like set

(id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) is Relation-like the carrier of M -defined set

((((Flow M) ~) | the carrier' of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) \/ ((id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

(((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like set

((((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M)) is Relation-like set

(((((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M))) \/ ((id the carrier of M) * ((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((id the carrier of M) * (((Flow M) ~) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M)) is Relation-like set

(((((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M))) \/ (((id the carrier of M) * (((Flow M) ~) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M))) is Relation-like set

{} \/ (((Flow M) ~) | the carrier' of M) is set

{} \/ (id the carrier of M) is set

({} \/ (((Flow M) ~) | the carrier' of M)) \/ ({} \/ (id the carrier of M)) is set

(((Flow M) ~) | the carrier' of M) * (id the carrier of M) is Relation-like the carrier of M -valued set

(id the carrier of M) * ((Flow M) | the carrier' of M) is Relation-like the carrier of M -defined set

(id the carrier of M) * (id the carrier of M) is Relation-like the carrier of M -defined the carrier of M -valued set

(((Flow M) ~) | the carrier' of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M)) is Relation-like set

(id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M)) is Relation-like the carrier of M -defined set

((((Flow M) ~) | the carrier' of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) \/ ((id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

(((Flow M) ~) | the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like set

((((Flow M) ~) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M)) is Relation-like set

(((((Flow M) ~) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M))) \/ ((id the carrier of M) * (((Flow M) | the carrier' of M) \/ (id the carrier of M))) is Relation-like set

((id the carrier of M) * ((Flow M) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M)) is Relation-like set

(((((Flow M) ~) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier of M))) \/ (((id the carrier of M) * ((Flow M) | the carrier' of M)) \/ ((id the carrier of M) * (id the carrier of M))) is Relation-like set

{} \/ (((Flow M) ~) | the carrier' of M) is set

{} \/ (id the carrier of M) is set

({} \/ (((Flow M) ~) | the carrier' of M)) \/ ({} \/ (id the carrier of M)) is set

M is Petri PT_net_Str

(M) is Relation-like set

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

((Flow M) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

(M) \ (id (Elements M)) is Relation-like set

(M) * ((M) \ (id (Elements M))) is Relation-like set

(M) is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier' of M is Relation-like set

(((Flow M) ~) | the carrier' of M) \/ (id the carrier of M) is Relation-like set

(M) \ (id (Elements M)) is Relation-like set

(M) * ((M) \ (id (Elements M))) is Relation-like set

(id the carrier of M) * ((Flow M) | the carrier' of M) is Relation-like the carrier of M -defined set

(((Flow M) | the carrier' of M) \/ (id the carrier of M)) * ((Flow M) | the carrier' of M) is Relation-like set

((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M) is Relation-like set

(((Flow M) | the carrier' of M) * ((Flow M) | the carrier' of M)) \/ ((id the carrier of M) * ((Flow M) | the carrier' of M)) is Relation-like set

(id the carrier of M) * (((Flow M) ~) | the carrier' of M) is Relation-like the carrier of M -defined set

((((Flow M) ~) | the carrier' of M) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier' of M) is Relation-like set

(((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M) is Relation-like set

((((Flow M) ~) | the carrier' of M) * (((Flow M) ~) | the carrier' of M)) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier' of M)) is Relation-like set

M is Petri PT_net_Str

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier of M is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M) is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

(Flow M) \/ (id (Elements M)) is Relation-like set

M is Petri PT_net_Str

(M) is Relation-like set

Flow M is Relation-like set

the S-T_Arcs of M is Relation-like M2( bool [: the carrier of M, the carrier' of M:])

the carrier of M is set

the carrier' of M is set

[: the carrier of M, the carrier' of M:] is Relation-like set

bool [: the carrier of M, the carrier' of M:] is set

the T-S_Arcs of M is Relation-like M2( bool [: the carrier' of M, the carrier of M:])

[: the carrier' of M, the carrier of M:] is Relation-like set

bool [: the carrier' of M, the carrier of M:] is set

the S-T_Arcs of M \/ the T-S_Arcs of M is Relation-like set

(Flow M) | the carrier of M is Relation-like set

(Flow M) ~ is Relation-like set

((Flow M) ~) | the carrier of M is Relation-like set

((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M) is Relation-like set

id the carrier of M is Relation-like the carrier of M -defined the carrier of M -valued V89() set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M) is Relation-like set

(M) * (M) is Relation-like set

Elements M is set

the carrier of M \/ the carrier' of M is set

id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set

(M) \ (id (Elements M)) is Relation-like set

((M) \ (id (Elements M))) * (M) is Relation-like set

(M) ~ is Relation-like set

(M) \/ ((M) ~) is Relation-like set

((M) \/ ((M) ~)) \/ (id (Elements M)) is Relation-like set

(M) is Relation-like set

(Flow M) \/ (id (Elements M)) is Relation-like set

(M) ~ is Relation-like set

(M) \/ ((M) ~) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

((Flow M) | the carrier of M) \/ (id the carrier of M) is Relation-like set

(((Flow M) ~) | the carrier of M) \/ (id the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) \/ (id the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) \/ (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) \/ (id the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) \/ (id the carrier of M))) \ (id (Elements M)) is Relation-like set

(((Flow M) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

((((Flow M) ~) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M)) is Relation-like set

((((Flow M) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M))) \/ (((((Flow M) ~) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M))) is Relation-like set

((Flow M) | the carrier of M) \/ (((((Flow M) ~) | the carrier of M) \/ (id the carrier of M)) \ (id (Elements M))) is Relation-like set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) is Relation-like set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * ((Flow M) | the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * ((Flow M) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((Flow M) | the carrier of M) * ((Flow M) | the carrier of M) is Relation-like set

(((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like set

(((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) is Relation-like set

{} \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M)) is set

({} \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) is set

{} \/ {} is set

({} \/ {}) \/ ((((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) is set

{} \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M)) is set

({} \/ {}) \/ ({} \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) is set

(((Flow M) ~) | the carrier of M) ~ is Relation-like set

((Flow M) | the carrier of M) \/ ((((Flow M) ~) | the carrier of M) ~) is Relation-like set

(Flow M) | the carrier' of M is Relation-like set

((Flow M) | the carrier' of M) ~ is Relation-like set

(((Flow M) | the carrier' of M) ~) ~ is Relation-like set

((Flow M) | the carrier of M) \/ ((((Flow M) | the carrier' of M) ~) ~) is Relation-like set

((Flow M) | the carrier of M) ~ is Relation-like set

(((Flow M) | the carrier of M) ~) \/ (((Flow M) ~) | the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) ~) \/ (((Flow M) | the carrier' of M) ~) is Relation-like set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~ is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~) \/ (((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) is Relation-like set

(((Flow M) | the carrier of M) ~) \/ ((((Flow M) ~) | the carrier of M) ~) is Relation-like set

((((Flow M) | the carrier of M) ~) \/ ((((Flow M) ~) | the carrier of M) ~)) \/ (((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) is Relation-like set

(((Flow M) ~) | the carrier of M) \/ ((Flow M) | the carrier of M) is Relation-like set

(((Flow M) | the carrier of M) ~) \/ ((((Flow M) ~) | the carrier of M) \/ ((Flow M) | the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) ~) \/ ((((Flow M) ~) | the carrier of M) \/ ((Flow M) | the carrier of M))) \/ ((((Flow M) ~) | the carrier of M) ~) is Relation-like set

((((Flow M) | the carrier of M) ~) \/ (((Flow M) ~) | the carrier of M)) \/ ((Flow M) | the carrier of M) is Relation-like set

(((((Flow M) | the carrier of M) ~) \/ (((Flow M) ~) | the carrier of M)) \/ ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) ~) is Relation-like set

(Flow M) \/ ((Flow M) ~) is Relation-like set

(id the carrier of M) ~ is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~) \/ ((id the carrier of M) ~) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~) \/ ((id the carrier of M) ~)) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~) is Relation-like set

(((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~)) \/ ((id the carrier of M) ~) is Relation-like set

(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~)) \/ (id the carrier of M) is Relation-like set

(((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~)) \/ (id the carrier of M)) \/ ((id the carrier of M) ~) is Relation-like set

(id the carrier of M) \/ ((id the carrier of M) ~) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~)) \/ ((id the carrier of M) \/ ((id the carrier of M) ~)) is Relation-like set

(id the carrier of M) \/ (id the carrier of M) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) ~)) \/ ((id the carrier of M) \/ (id the carrier of M)) is Relation-like set

((Flow M) \/ ((Flow M) ~)) \/ (id the carrier of M) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M) is Relation-like the carrier of M -valued set

(((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * ((Flow M) | the carrier of M) is Relation-like set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M) is Relation-like set

(((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * ((Flow M) | the carrier of M)) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * ((Flow M) | the carrier of M)) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M)) is Relation-like set

(id the carrier of M) * ((Flow M) | the carrier of M) is Relation-like the carrier of M -defined set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * ((Flow M) | the carrier of M)) \/ ((id the carrier of M) * ((Flow M) | the carrier of M)) is Relation-like set

(((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * ((Flow M) | the carrier of M)) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * ((Flow M) | the carrier of M)) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M)) is Relation-like set

(((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M)) is Relation-like set

((((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (((Flow M) ~) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M)) is Relation-like set

(id the carrier of M) * (((Flow M) ~) | the carrier of M) is Relation-like the carrier of M -defined set

((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M)) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M)) is Relation-like set

(((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M)) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M))) is Relation-like set

((((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (((Flow M) ~) | the carrier of M)) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M)))) \/ (((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ (id the carrier of M)) * (id the carrier of M)) is Relation-like set

((((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M)) is Relation-like set

(((((Flow M) | the carrier of M) * ((Flow M) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * ((Flow M) | the carrier of M))) \/ ((id the carrier of M) * ((Flow M) | the carrier of M))) \/ (((((Flow M) | the carrier of M) * (((Flow M) ~) | the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (((Flow M) ~) | the carrier of M))) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M))) is