Definition:Group Law