Genetics Formal Definition