The ideal element in a definition of law