Definition:Universal (Model Theory)