included formal def