Maximum Cardinality Symbol