set Id = { I where I is Subset of L : ( F c= I & I is Ideal of L ) } ; set I = meet { I where I is Subset of L : ( F c= I & I is Ideal of L ) } ;
the carrier of L is Ideal of L
byTh10; then A2:
the carrier of L in { I where I is Subset of L : ( F c= I & I is Ideal of L ) }
;