theorem Th29: :: NECKLA_3:29

for R being RelStr
for x being Element of R
for A being set holds
( A = component x iff for y being object holds
( y in A iff [x,y] in EqCl the InternalRel of R ) )