Definition, Properties, types