Definition:Cardinal Number (Size of Set)