A suprema can be finite.Logical formLearned from5 sentences. A r can be finite.Logical formLearned from5 sentences. Coefficients can be finite.Logical formLearned from5 sentences. A finite group can be a group.Logical formLearned from5 sentences. Posets can be finite.Logical formLearned from5 sentences. Subgroups can be constituted-of-or-filled-with finite index.Logical formLearned from5 sentences. Suffixes can be finite.Logical formLearned from5 sentences. Some subgroups can be constituted-of-or-filled-with finite index.Logical formLearned from5 sentences. A (basis problem) can be finite.Logical formLearned from5 sentences. A finite number can be constituted-of-or-filled-with characters.Logical formLearned from5 sentences. Direct sums can be finite.Logical formLearned from5 sentences. A cyclic subgroup can be constituted-of-or-filled-with finite index.Logical formLearned from5 sentences. A finite number can be constituted-of-or-filled-with sets.Logical formLearned from5 sentences. Total orders can be finite.Logical formLearned from5 sentences. A measure can be finite.Logical formLearned from5 sentences.