积云的严谨定义是什么