:: 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 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)))) \/ (((((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) 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)) \/ ((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))) \/ (((((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) * (id 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) * (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)) \/ ((((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 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))) \/ (((((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) * (id the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (id 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 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) * (((Flow M) ~) | the carrier of M))) \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M))) is 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) * (((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)) \/ ((((Flow M) ~) | the carrier of M) * (id the carrier of M))) \/ ((id the carrier of M) * (id the carrier of M))) is set
({} \/ {}) \/ ((id the carrier of M) * ((Flow M) | the carrier of M)) is set
(({} \/ {}) \/ ((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 set
((({} \/ {}) \/ ((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)))) \/ (((((Flow M) | 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) * (id the carrier of M))) is 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 set
(({} \/ {}) \/ ((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 set
((({} \/ {}) \/ ((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) * (id the carrier of M)) \/ ((((Flow M) ~) | the carrier of M) * (id the carrier of M))) \/ ((id the carrier of M) * (id the carrier of M))) is set
{} \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M)) is set
((id the carrier of M) * ((Flow M) | the carrier of M)) \/ ({} \/ ((id the carrier of M) * (((Flow M) ~) | the carrier of M))) is set
(((id 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)) \/ ((((Flow M) ~) | the carrier of M) * (id the carrier of M))) \/ ((id the carrier of M) * (id the carrier of M))) is 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) \/ ((id 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) * (id 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)) \/ ((((Flow M) ~) | the carrier of M) * (id the carrier of M))) \/ ((id 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 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) * (id 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 set
({} \/ ((((Flow M) ~) | the carrier of M) * (id the carrier of M))) \/ (id the carrier of M) is 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)) is set
{} \/ (id the carrier of M) is set
(((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) \/ ({} \/ (id the carrier of M)) is set
{} \/ ((((Flow M) | the carrier of M) \/ (((Flow M) ~) | the carrier of M)) * (id the carrier of M)) is set
(id the carrier of M) \/ (id (Elements M)) is Relation-like set
((Flow M) \/ ((Flow M) ~)) \/ ((id the carrier of M) \/ (id (Elements M))) is Relation-like set
((Flow M) \/ ((Flow M) ~)) \/ (id (Elements M)) is Relation-like set
((Flow M) ~) \/ (id (Elements M)) is Relation-like set
((Flow M) \/ (id (Elements M))) \/ (((Flow M) ~) \/ (id (Elements M))) is Relation-like set
(id (Elements M)) ~ is Relation-like set
((Flow M) ~) \/ ((id (Elements M)) ~) is Relation-like set
((Flow M) \/ (id (Elements M))) \/ (((Flow M) ~) \/ ((id (Elements M)) ~)) is Relation-like set
M is 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
(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
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
(M) is set
(M) is 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
R is set
S is set
[R,S] is set
R is set
S is set
[R,S] is set
[S,R] 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
(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
[:(Elements M),(Elements M):] is Relation-like set
(M) is Relation-like set
id (Elements M) is Relation-like Elements M -defined Elements M -valued V89() set
(Flow M) \/ (id (Elements M)) is Relation-like set
[: 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) ~ 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) * ((((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
(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) * ((((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
({} \/ (((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
(((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))) \/ ((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
(((((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
({} \/ (((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
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 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)))) \/ (((((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) 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)) \/ ((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))) \/ (((((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) * (id 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) * (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)) \/ ((((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 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))) \/ (((((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) * (id the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id 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 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) * (((Flow M) ~) | the carrier' of M))) \/ ((id the carrier' of M) * (((Flow M) ~) | the carrier' of M))) is 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) * (((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)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier' of M))) \/ ((id the carrier' of M) * (id the carrier' of M))) is set
({} \/ {}) \/ ((id the carrier' of M) * ((Flow M) | the carrier' of M)) is set
(({} \/ {}) \/ ((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 set
((({} \/ {}) \/ ((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)))) \/ (((((Flow M) | 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) * (id the carrier' of M))) is 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 set
(({} \/ {}) \/ ((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 set
((({} \/ {}) \/ ((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) * (id the carrier' of M)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier' of M))) \/ ((id the carrier' of M) * (id the carrier' of M))) is set
{} \/ ((id the carrier' of M) * (((Flow M) ~) | the carrier' of M)) is set
((id the carrier' of M) * ((Flow M) | the carrier' of M)) \/ ({} \/ ((id the carrier' of M) * (((Flow M) ~) | the carrier' of M))) is set
(((id 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)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier' of M))) \/ ((id the carrier' of M) * (id the carrier' of M))) is 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) \/ ((id 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) * (id 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)) \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier' of M))) \/ ((id 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 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) * (id 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 set
({} \/ ((((Flow M) ~) | the carrier' of M) * (id the carrier' of M))) \/ (id the carrier' of M) is 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)) is set
{} \/ (id the carrier' of M) is set
(((Flow M) | the carrier' of M) \/ (((Flow M) ~) | the carrier' of M)) \/ ({} \/ (id the carrier' of M)) is set
{} \/ ((((Flow M) | the carrier' of M) \/ (((Flow M) ~) | the carrier' of M)) * (id the carrier' of M)) is set
(id the carrier' of M) \/ (id (Elements M)) is Relation-like set
((Flow M) \/ ((Flow M) ~)) \/ ((id the carrier' of M) \/ (id (Elements M))) is Relation-like set
((Flow M) \/ ((Flow M) ~)) \/ (id (Elements M)) is Relation-like set
((Flow M) ~) \/ (id (Elements M)) is Relation-like set
((Flow M) \/ (id (Elements M))) \/ (((Flow M) ~) \/ (id (Elements M))) is Relation-like set
(id (Elements M)) ~ is Relation-like set
((Flow M) ~) \/ ((id (Elements M)) ~) is Relation-like set
((Flow M) \/ (id (Elements M))) \/ (((Flow M) ~) \/ ((id (Elements M)) ~)) is Relation-like set