Универса́льное мно́жество — в математике множество, содержащее все объекты и все множества.