Vzhledem k tomu, dvě sady A a B, A je nadmnožina B tehdy, když všechny prvky B jsou také prvky , které je, A je nadmnožina B, pokud B je podmnožinou A.