Funktionell separerbarhet är en egenskap hos ett par delmängder av ett topologiskt utrymme.
Två delmängder och i ett givet topologiskt utrymme kallas funktionellt separerbara i om det finns en reell avgränsad kontinuerlig funktion definierad i hela rummet som tar samma värde på alla punkter i mängden och något värde som skiljer sig från i alla punkter i mängden . I det här fallet kan det alltid antas att på alla punkter .
Ett utrymme där vilken punkt som helst är funktionellt separerbar från alla slutna uppsättningar som inte innehåller den kallas helt regelbunden .