An "atom" in Boolean algebra

An atom is a minimal non-zero element.

$x$ is an atom iff for every $y$, either $y\wedge x = x$ or $y\wedge x = 0$.

In some Boolean algebras, there are no atoms. These are called atomless Boolean algebras. An example is the countably infinite Boolean algebra freely generated by $a_1,a_2,a_3,\ldots$. Every element can be reached by taking meets, joins, and complements of finitely many of these. No element $x$ can be an atom since if $x$ can be formed by taking meets, joins, and complements of $a_1,\ldots,a_n$, then $x\wedge a_{n+1}$ is neither $x$ nor $0$.

In some Boolean algebras, for every element $a$, there is some atom $x\le a$. These are called atomic Boolean algebras. For example the set of all subsets of any set is a Boolean algebra in which every singleton set is an atom.

In some Boolean algebras, there are atoms and there are some elements with no atoms below them. For example the set of all clopen subsets of $C\cup\{2\}$, where $C$ is the Cantor set.

Some people use the term "non-atomic" instead of "atomless". I think that's a bad idea, because "non-atomic" is easily confused with "not atomic", which is not the same thing. My third example above is neither atomless nor atomic. I would rather not have to explain that it's neither atomic nor non-atomic.

You can think of Boolean algebras as something which looks a little bit like a power set of some set $X$. This is naturally equipped with complement, union and intersection operations which corresponds to $-,\lor,\land$ operations in the Boolean algebra.

An atom is something which cannot be decomposed into two proper subsets, this is much like a singleton which cannot be written as a union of two strictly smaller subsets.

Indeed, when we return to the world of Boolean algebras, $a\in B$ is an atom if whenever $b\lor c=a$ either $b=a$ or $b=0$.

If $B$ is a Boolean algebra then $x \in B$ is an atom if, for all $y \in B$, either $x \wedge y = x$ or $x \wedge y = 0$. Intuitively, it's a sort of minimal element: the way to think is "if $x$ is an atom and $0 \le y \le x$ then either $y=0$ or $y=x$".

In a Boolean ring $R$, we can think of $\wedge$ as multiplication, so we have that if $x$ is an atom then $xy=x$ or $xy=0$ for all $y \in R$.

For example, let $X$ be a set, let $R = \mathcal{P}X$ be its power set and define set multiplication by intersection and addition by symmetric difference. Then the zero element is $\varnothing$, and the atoms are the elements $A \subseteq X$ such that whenever $Y \subseteq X$ either $A \cap Y = A$ or $A \cap Y = \varnothing$. That is, the atoms of $\mathcal{P}X$ are precisely the singletons $\{ x \}$, and $\varnothing$.