完整一般化