Từ các loại cơ sở và không gian, chúng tôi lấy được tương ứngthời điểm hóa thạch loại. Loại constructormovingyields, cho bất kỳ typeα nhất định, một bản đồtừ thời gian để α.
Từ các cơ sở và các loại không gian, chúng tôi rút ra tương ứng với các loại thời gian. Loại constructormovingyields, cho bất kỳ typeα nhất định, một bản đồ từ thời gian để α.