Abelianness is directed union-closed

Statement
The union of any nonempty directed set of Abelian subgroups of a group is again Abelian.

Facts used

 * 1) uses::Abelianness is 2-local
 * 2) uses::Local implies directed union-closed

Proof
The proof follows directly from facts (1) and (2).