Invertible definitions