T
public interface FiniteStructure<T> extends Structure<T>
java.util.Set<T>
elements()
java.util.Set<T> elements()