我们的太阳系有八颗行星，还有无数的小行星，但是在行星和小行星之间，还有一种天体叫矮行星，数量不多大天文学家估计，整个太阳系的矮行星数量至少有数百颗。
一般认为矮行星的体积和质量比行星小，比小行星大，但实际上严格定义并非如此！它还包括以下项目：体积介于行星和小行星之间，绕恒星运行，质量足以克服固体引力而达到流体静力平衡（近球形）的形状，其他天体在轨道没有清除，同时不是卫星。它与行星的主要区别在于它是否已经清除了其轨道上的其他天体。
冥王星是最著名的矮行星。它也被归类为类冥王星天体。它的卫星卡戎也是一颗矮行星。因为卡戎比较大，冥王星常被认为是一个双星系统。
除了冥王星之外，比较出名的矮行星还有阋神星、谷神星、鸟神星、妊神星等。不过最近，矮行星家族的一员2007OR10也被命名了。腰带内的矮行星被命名为“共工”。
我们都知道，共工是中国古代神话中的水神。他在与火神祝融交战时，砸碎了天柱不周山，从而引出了女娲补天的故事。那么这颗小行星为什么要以共工命名呢？
其实太阳系中的天体一直都是以古代神话中的神来命名的，比如天王星、海王星、冥王星、木卫二、木卫三、木卫四，我们也可以发现，这些天体大多都是以神的名字命名的西方希腊和罗马神话中的众神和皇帝。其实，这也反映了近代以来西方国家在天文学方面的巨大成就。2007OR10这颗矮行星以中国神话中的众神命名，但由投票决定。
2007OR10发现于2007年，是柯伊伯带中的一颗大天体。它的体积仅次于冥王星和阋神星，目前排名第三，直径约1535公里。它也是太阳系中第20大天体。当时，天文学家认为这颗矮行星很可能被雪覆盖，所以称它为“白雪公主”，但后来天文观测发现它的表面看起来是红色的，因此推测这颗矮行星表面覆盖着甲烷、一氧化碳和氮冰，这与新视野号看到的冥王星表面的性质相似，所以决定不叫它“白雪公主”。
目前我们可以称矮行星2007OR10为“共工”。它自转一圈需要45天，绕太阳一圈需要547.84年。随着对它的跟踪观察，天文学家还发现它有一颗直径约240-400公里的卫星。这颗卫星也被国际天文学联合会以中国神话中的“相流”命名。
相琉是中国古代神话传说中的凶神，也是神明之臣。这句话出自《山海经·海外北经》。相柳是蛇身九头的妖怪。它吃掉了无数人。走到哪里，就变成了一个国家。它还具有喷水的能力。它喷出的水比洪水还厉害，而且有毒。人喝了会死。大禹王见相柳如此猖狂，便用神力将相柳杀死。
为什么这两颗星以中国神话中的神灵命名？事实上，这也是一种以投票方式进行的公平选举。2019年4月，国际天文学联合会通过公众投票决定命名2007OR10。经过投票，选出三名进入决赛。两个名字因此被正式选为2007OR10的名字。
2020年2月20日，国际天文联合会小行星中心正式接受“共工”和“相流”两个名称，并更新为“共工”和“相流”两个名称。该中心的小行星目录。这是迄今为止唯一一颗以中文命名的矮行星及其卫星。同时，共工的卫星也获得了中文名称。目前，我国也在加大对天文研究和天文观测设备的投入。相信未来会有更多的天体被我们发现并命名。
《快科技》2月24日文章《2007 OR10定名共工星！首颗以中文命名的太阳系主要天体》