diff --git a/Project.toml b/Project.toml
index 05650dc..48a466c 100644
--- a/Project.toml
+++ b/Project.toml
@@ -4,6 +4,7 @@ version = "0.7.8"
 
 [deps]
 Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
+DomainSetsCore = "b5e7cfa8-5ebe-46e7-951c-e7d99cb94c6d"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
@@ -15,6 +16,7 @@ IntervalSetsStatisticsExt = "Statistics"
 
 [compat]
 Aqua = "0.7"
+DomainSetsCore = "0.1.0"
 julia = "1.6"
 
 [extras]
diff --git a/src/IntervalSets.jl b/src/IntervalSets.jl
index 05ef38c..42e9445 100644
--- a/src/IntervalSets.jl
+++ b/src/IntervalSets.jl
@@ -4,6 +4,7 @@ using Base: @pure
 import Base: eltype, convert, show, in, length, isempty, isequal, isapprox, issubset, ==, hash,
              union, intersect, minimum, maximum, extrema, range, clamp, mod, float, ⊇, ⊊, ⊋
 
+using DomainSetsCore
 using Random
 
 using Dates
@@ -15,20 +16,14 @@ export AbstractInterval, Interval, OpenInterval, ClosedInterval,
             infimum, supremum,
             searchsorted_interval
 
-"""
-A subtype of `Domain{T}` represents a subset of type `T`, that provides `in`.
-"""
-abstract type Domain{T} end
-
-Base.IteratorSize(::Type{<:Domain}) = Base.SizeUnknown()
-Base.isdisjoint(a::Domain, b::Domain) = isempty(a ∩ b)
-
 """
 A subtype of `AbstractInterval{T}` represents an interval subset of type `T`, that provides
 `endpoints`, `closedendpoints`.
 """
-abstract type AbstractInterval{T} <: Domain{T} end
+abstract type AbstractInterval{T} <: DomainSetsCore.Domain{T} end
 
+Base.IteratorSize(::Type{<:AbstractInterval}) = Base.SizeUnknown()
+Base.isdisjoint(a::AbstractInterval, b::AbstractInterval) = isempty(a ∩ b)
 
 "A tuple containing the left and right endpoints of the interval."
 endpoints(d::AI) where AI<:AbstractInterval = error("Override endpoints(::$(AI))")