એક ઔપચારિક પ્રકાર લાક્ષણિકતાઓ