A semi-atom is a generalization of the notion of atom in a bottom bounded partial order.
An object is a semi-atom when the interval is a chain?, i.e. any two objects and in that interval are comparable? ( or ).
All atoms are semi-atoms and usually the bottom is not considered one.
If and are semi-atoms then their meet exists and we have
The divisor lattice? for some number contains prime numbers as atoms and may contain powers of primes as semi-atoms that are not atoms.
Created on January 15, 2015 at 15:56:21. See the history of this page for a list of all contributions to it.