fset.v: basic properties of cardinal.