:: deftheorem Def7 defines is_strongly_connected_in RELAT_2:def 7 :
for R being Relation
for X being set holds
( R is_strongly_connected_in X iff for x, y being object st x in X & y in X & not [x,y] in R holds
[y,x] in R );