theorem Th34: :: BCIALG_1:34

for X being BCI-algebra
for x being Element of X holds x ` in AtomSet X