\'Lips\'全集