La definición formal de «división» , «divisibilidad» y «conmensurabilidad», dependerá luego del conjunto de definición.