An analytic judgment is a type of judgment where βthe predicate is contained within the subject,β such as 2 + 2 = 4.