A Taylor model is defined as
Taylor models are compact and can describe non-convex sets. More information in Section 2.2.3.5 in the CORA manual.