Lines Matching refs:named
52 .named("empty U empty")
64 .named("singleton U itself")
74 .named("empty U set")
85 .named("set U empty")
100 .named("set U itself")
113 .named("union of disjoint")
125 .named("venn")
136 .named("empty & empty")
147 .named("empty & singleton")
158 .named("intersection of disjoint")
169 .named("set & itself")
181 .named("intersection with overlap of one")
191 .named("empty - empty")
201 .named("singleton - itself")
213 .named("set - superset")
227 .named("set - set")
238 .named("set - empty")
249 .named("set - disjoint")
