Definition:Finite Character (Property of Sets)