Relations among lattice-properties - Fried Ervin (2006)