La definición anterior puede escribirse también como: