什么是狭义上的法的执