A set with some Object such that etc are true. e.g.