The Iitaka conjecture is the subadditivity assertion
for a surjective morphism with connected fibers between smooth projective
varieties over an algebraically closed field of characteristic
zero, where
is the geometric generic fiber. Here
is the Kodaira dimension,
with
.
The logarithmic version uses reduced simple normal crossing divisors and
satisfying
and compares