:: deftheorem defines skeletal LATSTONE:def 7 :
for L being Stone Lattice
for a being Element of L holds
( a is skeletal iff a in Skeleton L );