Interactive Tool

Set Theory & Venn Diagrams

Define sets, visualise Venn diagrams, compute operations, explore properties, verify De Morgan's Laws, and evaluate arbitrary set expressions.

Define Your Sets

Set A (comma-separated)

Set B (comma-separated)

Set C (optional)

Universal Set (auto-computed if empty)

Venn Diagram

Click on a region to see which elements it contains. Hover to highlight.

Set Operations

Select an operation above after building your sets.

Set Properties

Click a property button after building your sets.

De Morgan's Laws

Select a law to verify with your current sets.

Expression Evaluator

Type a set expression using A, B, C with operators: ∪ (union, or U), ∩ (intersection, or ^), ' (complement), − (difference), Δ (symmetric difference, or %). Use parentheses for grouping.

A B C ∪ ∩ ' − Δ ( )

Enter an expression and click Evaluate.

🔝