Useful definitions (1/2)