theorem :: NELSON_1:25

for L being Nelson_Algebra
for a being Element of L holds a =-> a = Top L