Algunas estructuras de orden adicionales que son a menudo especificadas "vía" operación algebraica y definiendo identidades son