Dalam matematik, fungsi penunjuk atau fungsi cirisubset A bagi set X ialah fungsi yang ditakrifkan daripada X kepada set dua unsur. , biasanya dilambangkan sebagai , dan ia menunjukkan sama ada unsur dalam X kepunyaan A ; jika unsur dalam X kepunyaan A, dan jika bukan milik A Ia juga dilambangkan dengan untuk menekankan fakta bahawa fungsi ini mengenal pasti subset A bagi X.
Dalam konteks lain, seperti sains komputer, ini akan lebih kerap digambarkan sebagai fungsi predikat boolean (untuk menguji kemasukan set).
Fungsi Dirichlet ialah contoh fungsi penunjuk dan merupakan penunjuk rasional.
Sumber
Folland, G.B. (1999). Real Analysis: Modern Techniques and Their Applications (ed. Second). John Wiley & Sons, Inc. ISBN978-0-471-31716-6.
Davis, Martin, penyunting (1965). The Undecidable. New York, NY: Raven Press Books.
Kleene, Stephen (1971) [1952]. Introduction to Metamathematics (ed. Sixth reprint, with corrections). Netherlands: Wolters-Noordhoff Publishing and North Holland Publishing Company.