NGC 712 – линзовидная галактика в созвездии Андромеда. Была открыта в октябре 1828 года астрономом Джоном Гершелем. Данных о массе и размерах пока нет.