Definition. Ideal completion [dt-0046]

The ideal completion of a set A, written sometimes as \mathsf {Id}(A), is the set of all ideal subsets of A, i.e.: \mathsf {Id}(A) = \{ X \subseteq A \mid X\ \text {is ideal}\}