Def/Inclusion function