9 defined