:: deftheorem Def20 defines Segre-like PENCIL_1:def 20 :
for I being set
for A being ManySortedSet of I holds
( A is Segre-like iff ex i being Element of I st
for j being Element of I st i <> j holds
A . j is 1 -element );