Joseph Loschmidt/Definition