If the intersection over any finite subcollection of A is non-empty A has FIP property