 The main types of structures with one set having two binary operations are "rings" and "lattices".The axioms defining many of the other structures are modifications of the axioms for rings and lattices.One major difference between rings and lattices is that their two operations are related to each other in different ways.