:: deftheorem defines is-connected-with CONLAT_1:def 2 :
for C being FormalContext
for o being Object of C
for a being Attribute of C holds
( o is-connected-with a iff [o,a] in the Information of C );