Let be a limit Ordinal. A collection of -Structures is a chain if for all :