cardinal successorThe cardinal successor of a cardinal κ is the least cardinal greater than κ. It is denoted by κ+.