(Symmetry groups) can be finite.Logical formLearned from16 sentences. Programs can be finite.Logical formLearned from16 sentences. A distributive lattice can be finite.Logical formLearned from15 sentences. A poset can be finite.Logical formLearned from15 sentences. A group can be finite.Logical formLearned from15 sentences. A finite set can be constituted-of-or-filled-with numbers.Logical formLearned from15 sentences. A p can be finite.Logical formLearned from15 sentences. A (lie algebra) can be finite.Logical formLearned from15 sentences. Matrices can be finite.Logical formLearned from15 sentences. A property can be finite.Logical formLearned from15 sentences. A sum can be finite.Logical formLearned from15 sentences. A cardinality can be finite.Logical formLearned from15 sentences. A finite number can be constituted-of-or-filled-with functions.Logical formLearned from15 sentences. A segment can be finite.Logical formLearned from15 sentences. A finite number can be constituted-of-or-filled-with symbols.Logical formLearned from15 sentences.