Torrens titleTorrens title is a land registration and land transfer system, in which a state creates and maintains a register of land holdings, which serves as the conclusive evidence (termed "indefeasibility") of title of the person recorded on the register as the proprietor (owner), and of all other interests recorded on the register. Ownership of land is transferred by registration of a transfer of title, instead of by the use of deeds. The Registrar provides a Certificate of Title to the new proprietor, which is merely a copy of the related folio of the register.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Ensemble nulle part denseEn topologie, un ensemble est nulle part dense ou rare s'il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous-ensemble A d'un espace topologique X est nulle part dense dans X si presque aucun point de X ne peut être « approché » par des points de A. Soit X un espace topologique et A un sous-ensemble de X.
Registre foncierLe registre foncier est un service public chargé de donner l'état des droits en relation avec les immeubles. Il retrace ainsi l’historique des transactions et des droits réels sur une propriété immobilière. Registre foncier (Québec) Au Québec, la publicité foncière repose sur les divisions cadastrales qui sont faites depuis des siècles par les arpenteurs-géomètres. Le territoire du Québec est divisé en lots et un numéro est attribué par le Cadastre, un autre registre public tenu par le ministère des Ressources naturelles et de la Faune du Québec.
