:: deftheorem Def1 defines Int RLAFFIN2:def 1 :
for V being non empty RLSStruct
for A, b₃ being Subset of V holds
( b₃ = Int A iff for x being set holds
( x in b₃ iff ( x in conv A & ( for B being Subset of V holds
( not B c< A or not x in conv B ) ) ) ) );