Totally. The Roman Catholic version of it anyway.
Which they actually don't, but let's keep on topic..
The Sedevacantist position, from what I understand of it, is that the Pope must be a Catholic, or he isn't a real Pope. That someone who is a formal heretic, who denies things traditionally...