Definition of Jugum