Ideal (order theory)
In abstract algebra, an ideal is a subset of an association which is with respect to both lattice operations and respect even completed with elements from the whole Federation. The term " ideal" is based on the concept of the ideal in the ring theory.
Definition
Be an association. An ideal of is a non-empty subset of which:
- Is a sublattice of and
- For all and is