  We generate an algebra on blood phenotypes with multiplication based on human
ABO-blood type inheritance pattern. We assume that during meiosis gametes are
not chosen randomly. For this algebra we investigate its algebraic properties.
Namely, the lattice of ideals and the associative enveloping algebra are
described.
