definition module law

// $Id$