Qualsevol subconjunt L d’un cos K tal, que és estable per les dues operacions de K i, mitjançant aquestes restriccions, L té també una estructura de cos.
L és subcòs del cos K si L és un subanell unitari tal, que l’invers de tot element no nul de L pertany a L. El conjunt de nombres racionals és un subcòs del conjunt de nombres reals (el qual té estructura de cos).